Login / Signup
The Abstract Interpretation of Functional Languages.
Geoffrey L. Burn
Published in:
Theory and Formal Methods (1993)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
dynamic analysis
active rules
reasoning engine
databases
web services
relational databases
source code
spatial databases