Abstract Interpretation based on OLDT Resolution.

Tadashi Kanamori Tadashi Kawamura

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

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
reasoning engine
active rules
dynamic analysis
database
information systems
matching algorithm