Operational semantics
Top View
- Q Denotational Semantics
- The Semantics of Graph Programs
- Small-Step Semantics Lecture 1 Thursday, January 29, 2015 1 Intro
- Operational Semantics for Multi-Language Programs
- A Modular Structural Operational Semantics for Delimited Continuations
- Abstracting an Operational Semantics to Finite Automata
- An Operational Semantics for True Concurrency in BDI Agent Systems
- Contributions to the Meta-Theory of Struc- Tural Operational Semantics
- A Semantics for While with Break, Continue and Goto
- Operational Semantics
- On Domain Unifying Categorical Kinds
- CS345H: Programming Languages Lecture 8: Operational Semantics II 1/29 I Will Look at One More Formalism for Specifying Meaning Today
- 2 Introduction to Operational Semantics
- An Operational Semantics for C/C++11 Concurrency
- Abstract Syntax and Semantics of Visual Languages
- Proceedings of the Workshop on Grammar and Lexicon: Interactions and Interfaces, Pages 1–6, Osaka, Japan, December 11 2016
- Semantics of Concurrency Lecture 20 Thursday, April 7, 2016 1
- A Theory of Desynchronisable Closed Loop Systems