Login / Signup
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
Florian Zuleger
Sumit Gulwani
Moritz Sinn
Helmut Veith
Published in:
CoRR (2012)
Keyphrases
</>
data analysis
worst case
social networks
knowledge base
high level
expert systems
upper bound
machine learning
artificial intelligence
information systems
image analysis
imperative programs