3 . 5 Reduction Semantics with Evaluation Contexts


    The small-step SOS/MSOS approaches discussed in Sections 3.3 and 3.4 define a language semantics as a proof system whose rules are mostly conditional. The conditions of such rules allow to implicitly capture the program execution context as a proof context. This shift of focus from the informal notion of execution context to the formal notion of proof… (More)


    6 Figures and Tables

    Slides referencing similar topics