Modular structural operational semantics

DOI10.1016/j.jlap.2004.03.008zbMath1072.68061OpenAlexW2016799432WikidataQ57783484 ScholiaQ57783484MaRDI QIDQ1878712

Peter D. Mosses

Publication date: 8 September 2004

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.2004.03.008

zbMATH Keywords

transition rules

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Modelling and analysing neural networks using a hybrid process algebra, Generating Specialized Interpreters for Modular Structural Operational Semantics, Order-Sorted Parameterization and Induction, Structural Operational Semantics for Weighted Transition Systems, The rewriting logic semantics project, SOS formats and meta-theory: 20 years after, On the relations between monadic semantics, simpA: an agent-oriented approach for programming concurrent applications on top of Java, Weak Bisimulation as a Congruence in MSOS, From Rewriting Logic, to Programming Language Semantics, to Program Verification, The rewriting logic semantics project: a progress report, Programming language semantics: It’s easy as 1,2,3, DyNetKAT: an algebra of dynamic networks, Structural operational semantics through context-dependent behaviour, Executable component-based semantics, Flag-based big-step semantics, Modularity and Implementation of Mathematical Operational Semantics, An overview of the K semantic framework, An operational semantics for object-oriented concepts based on the class hierarchy, Implicit Propagation in Structural Operational Semantics, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report, Dynamic structural operational semantics, Relational presheaves, change of base and weak simulation, Modular Structural Operational Semantics with Strategies, Bialgebraic Methods in Structural Operational Semantics, Executable rewriting logic semantics of Orc and formal analysis of Orc programs, A Rewriting Logic Approach to Operational Semantics (Extended Abstract), A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Uses Software

• ML
• CASL

Cites Work

• A conservative look at operational semantics with variable binding
• Mathematical foundations of computer science 1999. 24th international symposium, MFCS '99, Szklarska Porȩba, Poland, September 6--10, 1999. Proceedings
• A syntactic approach to type soundness
• CASL: the Common Algebraic Specification Language.
• Pragmatics of Modular SOS
• Semantics for Algebraic Operations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item