A Suite of Optimizers Based on Abstract Interpretation.

Thomas E. Cheatham Dan C. Stefanescu

Published in: PEPM (1992)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
case study
knowledge base
reverse engineering