25 citations · 27 across the 3 of their papers we have counts for
3 papers
cs.PL2018★ 25 cited
Skeletal Semantics and their Interpretations
Martin Bodin, Philippa Gardner, Thomas Jensen +1
The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge ef…
cs.PL2013★ 2 cited
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)
Martin Bodin, Thomas Jensen, Alan Schmitt
We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of sem…
cs.PL2011
Modular Abstractions of Reactive Nodes using Disjunctive Invariants
David Monniaux, Martin Bodin
We wish to abstract nodes in a reactive programming language, such as Lustre, into nodes with a simpler control structure, with a bound on the number of control states. In order to…