Demonic fixed points

Tchier Fairouz: Demonic fixed points. In: Acta cybernetica, (17) 3. pp. 533-555. (2006)

Előnézet

Cikk, tanulmány, mű Tchier_2006_ActaCybernetica.pdf Letöltés (185kB) | Előnézet

Absztrakt (kivonat)

We deal with a relational model for the demonic semantics of programs. The demonic semantics of a while loop is given as a fixed point of a function involving the demonic operators. This motivates us to investigate the fixed points of these functions. We give the expression of the greatest fixed point with respect to the demonic ordering (demonic inclusion) of the semantic function. We prove that this greatest fixed coincides with the least fixed point with respect to the usual ordering (angelic inclusion) of the same function. This is followed by an example of application.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2006
Kötet:	17
Szám:	3
ISSN:	0324-721X
Oldalak:	pp. 533-555
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38521/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 552-555. ; ö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. 16. 10:17
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12781

Bővebben:

Tétel nézet