Abstract Interpretation Using TDGs.

Laurent Mauborgne

Published in: SAS (1994)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
dynamic analysis
active databases
active rules
reasoning engine
reverse engineering
open source
source code
regular expressions
database
case study