Modularity and Implementation of Mathematical Operational Semantics

DOI10.1016/j.entcs.2011.02.017zbMath1291.68123OpenAlexW2139628421WikidataQ113318283 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 semanticscategory theoryHaskellmodularity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (3)

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modularity and Implementation of Mathematical Operational Semantics