Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract).

Published in: SAS (1997)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
case study
programming language
reasoning engine
databases
information systems
high level
cost model
active rules