Compiling with Abstract Interpretation.

Dorian Lesbre Matthieu Lemerre

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
dynamic analysis
active rules
active databases
reasoning engine
case study