Implicit Propagation in Structural Operational Semantics
From MaRDI portal
Publication:2810689
DOI10.1016/j.entcs.2009.07.073zbMath1339.68159OpenAlexW2159611653WikidataQ57783421 ScholiaQ57783421MaRDI QIDQ2810689
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
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Structural operational semantics through context-dependent behaviour ⋮ Executable component-based semantics ⋮ Flag-based big-step semantics ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Dynamic structural operational semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Observing localities
- SOS formats and meta-theory: 20 years after
- 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.
- Modular structural operational semantics
- A structural approach to operational semantics
- CASL reference manual. The complete documentation of the common algebraic specification language.
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
- Pragmatics of Modular SOS
- TinkerType: a language for playing with formal systems
- Algebraic Methodology and Software Technology
- The Java Memory Model: Operationally, Denotationally, Axiomatically
This page was built for publication: Implicit Propagation in Structural Operational Semantics
