Lazy Functional Languages: Abstract Interpretation and Compilation (Geoffrey Burn).

Published in: SIAM Rev. (1993)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
model checking
active databases
dynamic analysis
integrity constraints
target language
programs written
databases
source code