Structural operational semantics through context-dependent behaviour
DOI10.1016/J.JLAP.2011.05.001zbMATH Open1223.68026OpenAlexW2001355739MaRDI QIDQ638568FDOQ638568
Authors: Robert Colvin, Ian Hayes 
Publication date: 12 September 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2011.05.001
Recommendations
- A structural approach to operational semantics
- scientific article; zbMATH DE number 92601
- Operational semantics development for procedural programming languages based on conceptual transition systems
- A structural operational semantics for an Edison-like language
- New approach to categorical semantics for procedural languages
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Modular structural operational semantics
- A structural approach to operational semantics
- Syntax and consistent equation semantics of hybrid Chi
- Notions of bisimulation and congruence formats for SOS with data
- Structural operational semantics.
- Understanding Programming Language Concepts Via Operational Semantics
- CSP with Hierarchical State
- Process algebra for synchronous communication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- BI as an assertion language for mutable data structures
- A semantics for behavior trees using CSP with specification commands
- Bialgebras for structural operational semantics: an introduction
- SOS formats and meta-theory: 20 years after
- Title not available (Why is that?)
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Process algebra with propositional signals
- The origins of structural operational semantics
- Hoare logic and auxiliary variables
- Theories of Programming Languages
- Title not available (Why is that?)
- Coinductive big-step operational semantics
- Implicit propagation in structural operational semantics
- Global renaming operators in concrete process algebra
- A hierarchy of SOS rule formats
- Operational semantics: concepts and their expression
- Pragmatics of modular SOS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modularity and implementation of mathematical operational semantics
- Concepts of programming languages.
- A Sound Semantics for OCaml light
Cited In (5)
- Modelling and analysing neural networks using a hybrid process algebra
- An operational semantics for object-oriented concepts based on the class hierarchy
- Structural operational semantics for a portable subset of behavioral VHDL-93
- A structural operational semantics for an Edison-like language
- Title not available (Why is that?)
Uses Software
This page was built for publication: Structural operational semantics through context-dependent behaviour
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638568)
