Abstract Interpretation Frameworks.

Patrick Cousot Radhia Cousot

Published in: J. Log. Comput. (1992)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
active databases
reasoning engine
databases
xml documents
open source
distributed environment