Detail publikace

Automata-Based Termination Proofs

IOSIF Radu a ROGALEWICZ Adam. Automata-Based Termination Proofs. Computing and Informatics, roč. 2013, č. 4, s. 739-775. ISSN 1335-9150.
Název česky
Dokazování konečnosti programů založené na automatech
Typ
článek v časopise
Jazyk
angličtina
Autoři
Iosif Radu (VERIMAG)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
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
2013
Strany
739-775
Časopis
Computing and Informatics, roč. 2013, č. 4, ISSN 1335-9150
Vydavatel
Slovak Academic Press
BibTeX 
@ARTICLE{FITPUB10332,
   author = "Radu Iosif and Adam Rogalewicz",
   title = "Automata-Based Termination Proofs",
   pages = "739--775",
   journal = "Computing and Informatics",
   volume = 2013,
   number = 4,
   year = 2013,
   ISSN = "1335-9150",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10332"
}
Nahoru