Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.

Timothy S. McNerney

Published in: PEPM (1991)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
general purpose
reasoning engine
programming language
formal specification
active databases
dynamic analysis
database systems
open source
source code
software systems
case study
high level