Abstract Interpretation of Functional Programs using an Attribute Grammar System.

Jeroen Fokker S. Doaitse Swierstra

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

functional programs
abstract interpretation
stochastic grammar
termination analysis
static analysis
logic programs
model checking
active rules
functional language
dynamic analysis
active databases
reasoning engine
natural language
query language
high level
general purpose
relational databases