Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.

Moritz Sinn Florian Zuleger Helmut Veith

Published in: J. Autom. Reason. (2017)

Keyphrases

worst case
general purpose
statistical analysis
resource allocation
constraint satisfaction
decision problems
temporal reasoning
constrained optimization
complexity bounds