Modularity and Implementation of Mathematical Operational Semantics

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

zbMATH Keywords

operational semantics; category theory; Haskell; modularity

Mathematics Subject Classification ID

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

• Haskell

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