Článek ve sborníku konference

HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea a ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, s. 135-150. ISBN 978-1-4503-5698-5.
Jazyk publikace:angličtina
Název publikace:Advanced Automata-based Algorithms for Program Termination Checking
Název (cs):Pokročilé algoritmy pro ověřování terminace programů založené na automatech
Strany:135-150
Sborník:Proceedings of PLDI'18
Konference:ACM SIGPLAN Conference on Programming Language Design and Implementation -- PLDI'18
Místo vydání:Philadelphia, US
Rok:2018
ISBN:978-1-4503-5698-5
DOI:10.1145/3192366.3192405
Vydavatel:Association for Computing Machinery
Klíčová slova
automata theory, bug detection, correctness,program logics, software engineering, static analysis, symbolic execution, verification
Anotace
Článek se zabývá pokročilými algoritmy pro ověřování terminace programů, které jsou založené na automatech.
BibTeX:
@INPROCEEDINGS{
   author = {Matthias Heizmann and Yu-Fang Chen and
	Ond{\v{r}}ej Leng{\'{a}}l and Yong Li and
	Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang},
   title = {Advanced Automata-based Algorithms for Program
	Termination Checking},
   pages = {135--150},
   booktitle = {Proceedings of PLDI'18},
   year = {2018},
   location = {Philadelphia, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-5698-5},
   doi = {10.1145/3192366.3192405},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11668}
}

Vaše IPv4 adresa: 3.88.156.58
Přepnout na https