Alan Schmitt (Inria)

Identifiers

• name variant Alan Schmitt (Inria) 0.60 · backfill

Papers (1)

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

Mentions

• 1309.5149 #4 · backfill · confidence 0.70 Alan Schmitt (Inria)

Frequent Coauthors

• INRIA) 1 shared papers
• Martin Bodin (ENS Lyon 1 shared papers
• Thomas Jensen (Inria) 1 shared papers