An arithmetic theory of consistency enforcement

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 special...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Link Sebastian
Schewe Klaus-Dieter
Dokumentumtípus: Cikk
Megjelent: 2002
Sorozat:Acta cybernetica 15 No. 3
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12686
LEADER 01719nab a2200229 i 4500
001 acta12686
005 20220614143522.0
008 161015s2002 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Link Sebastian 
245 1 3 |a An arithmetic theory of consistency enforcement  |h [elektronikus dokumentum] /  |c  Link Sebastian 
260 |c 2002 
300 |a 379-416 
490 0 |a Acta cybernetica  |v 15 No. 3 
520 3 |a 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. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
700 0 1 |a Schewe Klaus-Dieter  |e aut 
856 4 0 |u http://acta.bibl.u-szeged.hu/12686/1/cybernetica_015_numb_003_379-416.pdf  |z Dokumentum-elérés