On the Complexity Analysis of Static Analyses.

David A. McAllester

Published in: SAS (1999)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
first order logic
cooperative
data sets
information systems
knowledge base
pattern recognition