Implicit propagation in structural operational semantics

DOI10.1016/J.ENTCS.2009.07.073MaRDI QIDQ2810689zbMATH OpenOpenAlexWikidataFDO

Authors Peter D. Mosses, Mark J. New

Publication date 3 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.073

zbMATH Keywords

formal semanticsmodular SOSmodularityreusestructural operational semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• SOS formats and meta-theory: 20 years after
• Modular structural operational semantics
• scientific article; zbMATH DE number 2104617
• Pragmatics of modular SOS
• Modular bisimulation theory for computations and values

Cites work

• A rewrite framework for language definitions and for generation of efficient interpreters
• A structural approach to operational semantics
• Algebraic Methodology and Software Technology
• CASL reference manual. The complete documentation of the common algebraic specification language.
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL: the Common Algebraic Specification Language.
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 1418328 (Why is no real title available?)
• Modular structural operational semantics
• Observing localities
• Pragmatics of modular SOS
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The Java Memory Model: Operationally, Denotationally, Axiomatically
• TinkerType: a language for playing with formal systems
• Types and programing languages

Cited in

(7)

• Executable component-based semantics
• Dynamic structural operational semantics
• Generating specialized interpreters for modular structural operational semantics
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• Flag-based big-step semantics
• Structural operational semantics through context-dependent behaviour
• An operational semantics for object-oriented concepts based on the class hierarchy

Describes a project that uses

Uses Software

• ML
• TinkerType
• CASL

This page was built for publication: Implicit propagation in structural operational semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2810689)