On the complexity analysis of static analyses.

David A. McAllester

Published in: J. ACM (2002)

Keyphrases

complexity analysis
theoretical analysis
lower bound
first order logic
preprocessing
information technology
data sets
multiscale
evolutionary algorithm
probabilistic model
statistical tests