Detail publikace

Advanced Automata-based Algorithms for Program Termination Checking

LENGÁL, O.; HEIZMANN, M.; CHEN, Y.; LI, Y.; TSAI, M.; TURRINI, A.; ZHANG, L. Advanced Automata-based Algorithms for Program Termination Checking. In Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018. p. 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
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
HEIZMANN, M.
Chen Yu-Fang
LI, Y.
Tsai Ming-Hsien (FIT)
TURRINI, A.
ZHANG, L.
Klíčová slova

automata theory, bug detection, correctness,program logics, software engineering, static analysis, symbolic execution, verification

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
ISBN
978-1-4503-5698-5
Vydavatel
Association for Computing Machinery
Místo
Philadelphia
DOI
10.1145/3192366.3192405
UT WoS
000452469600010
EID Scopus
2-s2.0-85049572424
BibTeX 
@inproceedings{BUT155012,
  author="LENGÁL, O. and HEIZMANN, M. and CHEN, Y. and LI, Y. and TSAI, M. and TURRINI, A. and ZHANG, L.",
  title="Advanced Automata-based Algorithms for Program Termination Checking",
  booktitle="Proceedings of PLDI'18",
  year="2018",
  pages="135--150",
  publisher="Association for Computing Machinery",
  address="Philadelphia",
  doi="10.1145/3192366.3192405",
  isbn="978-1-4503-5698-5",
  url="https://www.fit.vut.cz/research/publication/11668/"
}
Nahoru