Abstract Interpretation for Worst and Average Case Analysis.

Alessandra Di Pierro Chris Hankin Herbert Wiklicky

Published in: Program Analysis and Compilation (2006)

Keyphrases

average case
abstract interpretation
static analysis
worst case
relational databases
sample size
model checking
uniform distribution