Structural operational semantics through context-dependent behaviour

DOI10.1016/j.jlap.2011.05.001zbMath1223.68026OpenAlexW2001355739MaRDI QIDQ638568

Ian J. Hayes, Robert J. Colvin

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

zbMATH Keywords

transition rulesimperative programming languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Modelling and analysing neural networks using a hybrid process algebra ⋮ An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• ALGOL 60

Cites Work

• 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
• Coinductive big-step operational semantics
• Operational semantics: concepts and their expression
• Global renaming operators in concrete process algebra
• Process algebra with propositional signals
• The origins of structural operational semantics
• Modular structural operational semantics
• A structural approach to operational semantics
• Hoare logic and auxiliary variables
• Syntax and consistent equation semantics of hybrid Chi
• Notions of bisimulation and congruence formats for SOS with data
• Implicit Propagation in Structural Operational Semantics
• Pragmatics of Modular SOS
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Understanding Programming Language Concepts Via Operational Semantics
• CSP with Hierarchical State
• Process algebra for synchronous communication
• Theories of Programming Languages
• Modularity and Implementation of Mathematical Operational Semantics
• BI as an assertion language for mutable data structures
• A Sound Semantics for OCaml light
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structural operational semantics through context-dependent behaviour