6 citations · 15 across the 6 of their papers we have counts for
Showing 2016 · cs.PLShow all
2 papers · 2 filters
cs.PL2016★ 5 cited
A Modular Structural Operational Semantics for Delimited Continuations
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and fu…
cs.PL2016
Flag-Based Big-Step Semantics
Casper Bach Poulsen, Peter D. Mosses
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termina…