Termination analysis without the tears.

Shaowei Zhu, Zachary Kincaid

Browse the full PLDI paper archive.