Login / Signup
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.
Pierre Lermusiaux
Benoît Montagu
Published in:
ESOP (2) (2024)
Keyphrases
</>
functional programs
abstract interpretation
term rewriting systems
termination analysis
static analysis
model checking
database
object oriented
active rules
artificial intelligence
fine grained
dynamic analysis