An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs.

Published in: Sci. Comput. Program. (1998)

Keyphrases

abstract interpretation
termination analysis
static analysis
maximum likelihood
active rules
pattern matching
model checking
dynamic analysis
high level
query language
logic programming
reasoning engine