Pretty-big-step-semantics-based Certified Abstract Interpretation.

Martin Bodin Thomas P. Jensen Alan Schmitt

Published in: JFLA (2014)

Keyphrases

abstract interpretation
termination analysis
static analysis
distributed databases
active rules
dynamic analysis
case study
software engineering
reasoning engine