Abstract Interpretation Based on Alexander Templates.

Tadashi Kanamori

Published in: J. Log. Program. (1993)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine
dynamic analysis
source code
database
relational databases