Martin Bodin, Thomas Jensen, Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation. In Christine Tasson, David Baelde, editors, 25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. pages 109-130, 2014.
Abstract is missing.