Open AccessPretty-big-step-semantics-based Certified Abstract Interpretation
Author(s) -
Martin Bodin,
Thomas Jensen,
Alan Schmitt
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - semantics (computer science) , computer science , interpretation (philosophy) , programming language , certification , abstract interpretation , natural language processing , political science , law