Abstract Interpretation Using Typed Decision Graphs.

Laurent Mauborgne

Published in: Sci. Comput. Program. (1998)

Keyphrases

abstract interpretation
termination analysis
static analysis
decision making
active rules
model checking
reasoning engine
decision makers
dynamic analysis
logic programming
active databases