Operational Semantics

(Up) | Wikipedia: Operational semantics | See also: Formal Specification, Programming Languages

Works regarding the study of the semantics of systems given operationally, that is, given a set of permittable sequences of steps or (state transformations) of the system. The system in question is often the execution of a programming language.

Web resources

apfelmus - The Operational Monad Tutorial ★

Repositories

thautwarm/Sequent.jl: formally and easily, describe the semantics. ★★ 💭

(in Calculus of Constructions) wilbowma/cic-redex: A Redex model of CIC as specified in Chapter 4 of the Coq reference manual. ★

Papers

An Introduction to Operational Semantics ★★ 💭

(in Theorem Proving) Theorem proving support in programming language semantics (online @ arxiv.org) ★ 💭