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" }