Precise Widening Operators for Proving Termination by Abstract Interpretation.

Nathanal Courant, Caterina Urban

Browse the full TACAS paper archive.