Modularity and Implementation of Mathematical Operational Semantics
From MaRDI portal
Publication:5166622
DOI10.1016/j.entcs.2011.02.017zbMath1291.68123WikidataQ113318283 ScholiaQ113318283MaRDI QIDQ5166622
Mauro Jaskelioff, G. Hutton, Neil Ghani
Publication date: 27 June 2014
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.2011.02.017
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
18C50: Categorical semantics of formal languages
Related Items
Unnamed Item, Structural operational semantics through context-dependent behaviour, An operational semantics for object-oriented concepts based on the class hierarchy
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebra of communicating processes with abstraction
- Modular structural operational semantics
- Adding recursive constructs to bialgebraic semantics
- A structural approach to operational semantics
- Composing monads using coproducts
- Data types à la carte
- Coproducts of Ideal Monads
- Fold and unfold for program semantics
- Fast and loose reasoning is morally correct