Detail publikace

Advanced Automata-based Algorithms for Program Termination Checking

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.
Název česky
Pokročilé algoritmy pro ověřování terminace programů založené na automatech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Heizmann Matthias (UNI Freiburg)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Li Yong (UCAS)
Tsai Ming-Hsien (ASIN)
Turrini Andrea (UCAS)
Zhang Lijun (UCAS)
Abstrakt

Článek se zabývá pokročilými algoritmy pro ověřování terminace programů, které jsou založené na automatech.

Rok
2018
Strany
135-150
Sborník
Proceedings of PLDI'18
Konference
ACM SIGPLAN Conference on Programming Language Design and Implementation -- PLDI'18, Philadelphia, US
ISBN
978-1-4503-5698-5
Vydavatel
Association for Computing Machinery
Místo
Philadelphia, US
DOI
10.1145/3192366.3192405
UT WoS
000452469600010
EID Scopus
2-s2.0-85049572424
BibTeX 
@INPROCEEDINGS{FITPUB11668,
   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 = "https://www.fit.vut.cz/research/publication/11668"
}
Nahoru