Relational Reversal of Abstract Interpretation.

John Hughes John Launchbury

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

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
relational databases
data model
reasoning engine
dynamic analysis
database
database schema
active databases
multi agent systems
object oriented
source code