Detail publikace

Automata-Based Termination Proofs

IOSIF Radu a ROGALEWICZ Adam. Automata-Based Termination Proofs. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5642. Berlin: Springer Verlag, 2009, s. 165-177. ISBN 978-3-642-02978-3. Dostupné z: http://www.springerlink.com/content/j026j27j77284lu3/fulltext.pdf
Název česky
Dokazování konečnosti programů založené na automatech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

V tomto článku prezentujeme novou metodu pro dokazování konečnosti programů pracujících nad nekonečně stavovými datovými strukturami.
Program je v této metodě simulován buchi automatem takovým, že každý nekonečný běh odpovídá nekonečnému slovu akceptovanému tímto automatem.

Rok
2009
Strany
165-177
Sborník
Implementation and Application of Automata
Řada
Lecture Notes in Computer Science
Svazek
5642
Konference
14th International Conference on Implementation and Application of Automata, Sydney, AU
ISBN
978-3-642-02978-3
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB9015,
   author = "Radu Iosif and Adam Rogalewicz",
   title = "Automata-Based Termination Proofs",
   pages = "165--177",
   booktitle = "Implementation and Application of Automata",
   series = "Lecture Notes in Computer Science",
   volume = 5642,
   year = 2009,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-02978-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9015"
}
Nahoru