Structural operational semantics through context-dependent behaviour
From MaRDI portal
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)
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
Cites work
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3177072 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 605806 (Why is no real title available?)
- scientific article; zbMATH DE number 1500648 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- scientific article; zbMATH DE number 2104617 (Why is no real title available?)
- A Sound Semantics for OCaml light
- A hierarchy of SOS rule formats
- A semantics for behavior trees using CSP with specification commands
- A structural approach to operational semantics
- BI as an assertion language for mutable data structures
- Bialgebras for structural operational semantics: an introduction
- CSP with Hierarchical State
- Coinductive big-step operational semantics
- Concepts of programming languages.
- Global renaming operators in concrete process algebra
- Hoare logic and auxiliary variables
- Implicit propagation in structural operational semantics
- Modular structural operational semantics
- Modularity and implementation of mathematical operational semantics
- Notions of bisimulation and congruence formats for SOS with data
- Operational semantics: concepts and their expression
- Pragmatics of modular SOS
- Process algebra for synchronous communication
- Process algebra with propositional signals
- Recursive functions of symbolic expressions and their computation by machine, Part I
- SOS formats and meta-theory: 20 years after
- Structural operational semantics.
- Syntax and consistent equation semantics of hybrid Chi
- The origins of structural operational semantics
- Theories of Programming Languages
- Understanding Programming Language Concepts Via Operational Semantics
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
- scientific article; zbMATH DE number 1552271 (Why is no real title available?)
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)
