Big-step Operational Semantics Revisited
Jarosław D. M. Kuśmierek, Viviana Bono · Fundamenta Informaticae · 2010
In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated via a big-step operational semantics is weak, while the option of using a small-