From Shape Analysis to Termination Analysis in Linear Time.

Roman Manevich, Boris Dogadov, Noam Rinetzky

Browse the full CAV paper archive.