Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.

Moritz Sinn, Florian Zuleger, Helmut Veith

Browse the full FMCAD paper archive.