System F and Abstract Interpretation

Published in: SAS (1995)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
database
data model
software engineering
open source
fine grained
reverse engineering