Abstract Interpretation using a Language of Symbolic Approximation.

Matthieu Lemerre Sébastien Bardin

Published in: CoRR (2017)

Keyphrases

abstract interpretation
termination analysis
programming language
static analysis
natural language
active databases
active rules
high level
reasoning engine
case study