A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.

Moritz Sinn Florian Zuleger Helmut Veith

Published in: CoRR (2014)

Keyphrases

static analysis
complexity analysis
dynamic analysis
source code
lower bound
abstract interpretation
regular expressions
real world
artificial intelligence
data management