Certified Abstract Interpretation with Pretty-Big-Step Semantics.

Martin Bodin Thomas P. Jensen Alan Schmitt

Published in: CPP (2015)

Keyphrases

abstract interpretation
active rules
termination analysis
static analysis
active databases
reasoning engine
high level
object oriented
logic programming