Login / Signup
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.
Moritz Sinn
Florian Zuleger
Helmut Veith
Published in:
CoRR (2015)
Keyphrases
</>
complexity analysis
imperative programs
theoretical analysis
lower bound
high level
computational complexity
constraint satisfaction
constraint programming
dynamic logic
neural network
first order logic
activity recognition
integrity constraints
constrained optimization