Bound Analysis of Imperative Programs with the Size-Change Abstraction.

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

Browse the full SAS paper archive.