25 citations · 27 across the 3 of their papers we have counts for
3 papers
Fully Abstract Encodings of -Calculus in HOcore through Abstract Machines
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +3
We present fully abstract encodings of the call-by-name and call-by-value -calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider se…
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…
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…