Martin Bodin (ENS Lyon

Identifiers

• name variant Martin Bodin (ENS Lyon 0.60 · backfill

Papers (1)

1. Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) cs.PL · 2013 · author #1

Mentions

• 1309.5149 #1 · backfill · confidence 0.70 Martin Bodin (ENS Lyon

Frequent Coauthors

• Alan Schmitt (Inria) 1 shared papers
• INRIA) 1 shared papers
• Thomas Jensen (Inria) 1 shared papers