Abstract Interpretation Using Attribute Grammar.

Published in: WAGA (1990)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
reasoning engine
natural language
information systems
integrity constraints