Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li 0031, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang 0001
Advanced automata-based algorithms for program termination checking
PLDI, 2018.
@inproceedings{PLDI-2018-ChenHLLTTZ,
author = "Yu-Fang Chen and Matthias Heizmann and Ondrej Lengál and Yong Li 0031 and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang 0001",
booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3192366.3192405",
pages = "135--150",
publisher = "{ACM}",
title = "{Advanced automata-based algorithms for program termination checking}",
year = 2018,
}