Collaborated with:Y.Chen M.Heizmann O.Lengál M.Tsai A.Turrini L.Z.0001
Talks about:algorithm (1) automata (1) program (1) termin (1) advanc (1) check (1) base (1)
Person: Yong Li 0031
DBLP: 0031:Yong_Li
Contributed to:
2018Wrote 1 papers:
- PLDI-2018-ChenHLLTTZ #algorithm #termination
- Advanced automata-based algorithms for program termination checking (YFC, MH, OL, YL0, MHT, AT, LZ0), pp. 135–150.