A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination.

Patrick Cousot Radhia Cousot

Published in: MFPS (2001)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
case study
open source
model checking
source code
active databases
active rules
management system
fine grained
software systems
reasoning engine