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

Moritz Sinn Florian Zuleger Helmut Veith

Published in: FMCAD (2015)

Keyphrases

complexity analysis
imperative programs
theoretical analysis
artificial intelligence
high level
computational complexity
first order logic
data sets
neural network
lower bound
expert systems
constrained optimization
dynamic logic
relational databases
constraint satisfaction
geometric constraints