Modularity and implementation of mathematical operational semantics

DOI10.1016/J.ENTCS.2011.02.017MaRDI QIDQ5166622zbMATH OpenOpenAlexWikidataFDO

Authors Mauro Jaskelioff, Neil Ghani, Graham Hutton

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

modularitycategory theoryoperational semanticsHaskell

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3938530
• scientific article; zbMATH DE number 1086715
• Modularity of behaviours for mathematical operational semantics
• Towards a theory of mathematical operational semantics
• Comodels and effects in mathematical operational semantics

Cites work

• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• scientific article; zbMATH DE number 1086715 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• A structural approach to operational semantics
• Adding recursive constructs to bialgebraic semantics
• Algebra of communicating processes with abstraction
• Comparing operational models of name-passing process calculi
• Composing monads using coproducts
• Computational effects and operations: an overview
• Coproducts of Ideal Monads
• Data types à la carte
• Fast and loose reasoning is morally correct
• Fold and unfold for program semantics
• Modular structural operational semantics
• Modularity of behaviours for mathematical operational semantics

Cited in

(12)

• Structural operational semantics through context-dependent behaviour
• Functional semantics
• scientific article; zbMATH DE number 7121901 (Why is no real title available?)
• Comodels and effects in mathematical operational semantics
• Modularity of behaviours for mathematical operational semantics
• An operational semantics for object-oriented concepts based on the class hierarchy
• New approach to categorical semantics for procedural languages
• The coverage of operational semantics
• Coalgebraic operational semantics for an imperative language
• Towards a theory of mathematical operational semantics
• scientific article; zbMATH DE number 3938530 (Why is no real title available?)
• Towards Effects in Mathematical Operational Semantics

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Modularity and implementation of mathematical operational semantics

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