Advanced automata-based algorithms for program termination checking.

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

Browse the full PLDI paper archive.