Certified Abstract Interpretation with Pretty-Big-Step Semantics.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Browse the full CPP paper archive.