Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Towards effects in mathematical operational semantics

Request a Copy

link to publisher version

  • Altmetric Citations

Abou-Saleh, Faris; Pattinson, Dirk

Description

In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational semantics

dc.contributor.authorAbou-Saleh, Faris
dc.contributor.authorPattinson, Dirk
dc.date.accessioned2015-12-13T23:01:48Z
dc.identifier.issn1571-0661
dc.identifier.urihttp://hdl.handle.net/1885/84593
dc.description.abstractIn this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational semantics
dc.publisherElsevier
dc.sourceElectronic Notes in Theoretical Computer Science
dc.subjectKeywords: Coalgebras; Comodels; Effects; Kleisli category; Operational semantics; Algebra; Computer programming languages; Specifications; Syntactics; Semantics Coalgebras; Comodels; Effects; Kleisli category; Operational semantics
dc.titleTowards effects in mathematical operational semantics
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume276
dc.date.issued2011
local.identifier.absfor080200 - COMPUTATION THEORY AND MATHEMATICS
local.identifier.ariespublicationf5625xPUB12872
local.type.statusPublished Version
local.contributor.affiliationAbou-Saleh, Faris, Imperial College London
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.issue1
local.bibliographicCitation.startpage81
local.bibliographicCitation.lastpage104
local.identifier.doi10.1016/j.entcs.2011.09.016
dc.date.updated2016-02-24T08:43:04Z
local.identifier.scopusID2-s2.0-80054908442
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Abou-Saleh_Towards_effects_in_2011.pdf350.37 kBAdobe PDF    Request a copy
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator