C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.
Moritz Sinn
Florian Zuleger
Helmut Veith
Published in:
CAV (2014)
Keyphrases
</>
static analysis
complexity analysis
dynamic analysis
worst case
lower bound
source code
theoretical analysis
data structure
case study
test generation
malicious code
abstract interpretation
database
data analysis
regular expressions