Using Template Haskell for Abstract Interpretation.

Clara Segura Carmen Torrano

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

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
programming language
dynamic analysis
active databases
reasoning engine
functional programming
matching algorithm
databases
high level
pattern matching