Bound Analysis of Imperative Programs with the Size-Change Abstraction.

Florian Zuleger Sumit Gulwani Moritz Sinn Helmut Veith

Published in: SAS (2011)

Keyphrases

data analysis
database
lower bound
data sets
upper bound
np complete
statistical analysis
quantitative analysis
imperative programs