SSA Translation Is an Abstract Interpretation.

Matthieu Lemerre

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

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
database
information systems
knowledge base
management system
fine grained
pattern matching