Fakulta informačních technologií VUT v Brně

Detail publikace

Programs with Lists are Counter Automata

BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. Formal Methods in System Design, roč. 38, č. 2, s. 158-192. ISSN 0925-9856.
Název česky
Programy nad seznamy odpovídají automatům s čítači
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Bozga Marius (VERIMAG)
Habermehl Peter (UPAR7)
Iosif Radu (VERIMAG)
Moro Pierre (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Článek dokazuje, že programy nad jednosměrně vázanými seznamy jsou bisimilární s čítačovými automaty. Uvedený výsledek se dá využít k verifikaci jak bezpečnosti tak konečnosti běhu takových programů. Článek dále ukazuje, že programy nad seznamy s daty, nad kterými je definována relace uspořádání, lze efektivně simulovat čítačovými automaty.
Rok
2011
Strany
158-192
Časopis
Formal Methods in System Design, roč. 38, č. 2, ISSN 0925-9856
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB9565,
   author = "Ahmed Bouajjani and Marius Bozga and Peter Habermehl and Radu Iosif and Pierre Moro and Tom\'{a}\v{s} Vojnar",
   title = "Programs with Lists are Counter Automata",
   pages = "158--192",
   journal = "Formal Methods in System Design",
   volume = 38,
   number = 2,
   year = 2011,
   ISSN = "0925-9856",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9565"
}
Nahoru