- Home
- » Tags
- » 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
- A Unified Model for Hardware/Software Codesign Nirav
- Chapter 8 TRADITIONAL OPERATIONAL SEMANTICS
- Continuation Semantics for PROLOG with Cut
- Sense and Reference in Semantics Examples
- High-Level Small-Step Operational Semantics for Transactions
- Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching
- Operational and Abstract Semantics of the Query Language G-Log
- Denotational Semantics ______
- Chapter 3 Semantics
- A Principled Design of Capabilities in Pony
- Quantum Weakest Preconditions Directly
- An Introduction to Operational Semantics and Abstract Machines
- Concepts of Programming Languages Lecture 6 - Semantics
- Semantics of Concurrent Revisions
- An Operational Semantics for Scheme1
- Semantics-Directed Code Generation
- High-Level Small-Step Operational Semantics for Transactions
- Oracle Semantics for Concurrent Separation Logic
- Classical Logic, Continuation Semantics and Abstract Machines
- An Operational Semantics for C/C++11 Concurrency
- Colosl: Concurrent Local Subjective Logic
- Contracts, Games, and Reninement
- CS 6110 S11 Lecture 18 Predicate Transformers 9 March 2011 1 Axiomatic Semantics 2 Preconditions and Postconditions 3 an Example
- The Operational Semantics and Implementation of a Core Dart Language
- Chapter 12 Formal Semantics
- Reductive Logic, Proof-Search, and Coalgebra: a Perspective from Resource Semantics
- Operational Semantics Applied to Model Driven Engineering
- From Operational Semantics to Abstract Machines
- Synthesizing Control-Flow Graph Generators from Operational Semantics
- Operational Semantics
- Logical Specification of Operational Semantics
- An Abstraction Technique for Verifying Shared-Memory Concurrency †