Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang. Advanced automata-based algorithms for program termination checking. In Jeffrey S. Foster, Dan Grossman, editors, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. pages 135-150, ACM, 2018. [doi]
@inproceedings{ChenHLLTTZ18,
title = {Advanced automata-based algorithms for program termination checking},
author = {Yu-Fang Chen and Matthias Heizmann and Ondrej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang},
year = {2018},
doi = {10.1145/3192366.3192405},
url = {http://doi.acm.org/10.1145/3192366.3192405},
researchr = {https://researchr.org/publication/ChenHLLTTZ18},
cites = {0},
citedby = {0},
pages = {135-150},
booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018},
editor = {Jeffrey S. Foster and Dan Grossman},
publisher = {ACM},
}