An arithmetic theory of consistency enforcement

Link Sebastian; Schewe Klaus-Dieter: An arithmetic theory of consistency enforcement. In: Acta cybernetica, (15) 3. pp. 379-416. (2002)

Előnézet

Cikk, tanulmány, mű cybernetica_015_numb_003_379-416.pdf Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

Consistency enforcement starts from a given program specification S and a static invariant I and aims to replace S by a slightly modified program specification SI that is provably consistent with respect to I. One formalization which suggests itself is to define SI as the greatest consistent specialization of S with respect to I, where specialization is a partial order on semantic equivalence classes of program specifications. In this paper we present such a theory on the basis of arithmetic logic. We show that with mild technical restrictions and mild restrictions concerning recursive program specifications it is possible to obtain the greatest consistent specialization gradually and independently from the order of given invariants as well as by replacing basic commands by their respective greatest consistent specialization. Furthermore, this approach allows to discuss computability and decidability aspects for the first time.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2002
Kötet:	15
Szám:	3
ISSN:	0324-721X
Oldalak:	pp. 379-416
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38513/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 415-416. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 14. 14:35
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12686

Bővebben:

Tétel nézet