Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inbook{Mycroft:2015:10.1007/978-3-319-27810-0_1,
author = {Mycroft, A and Orchard, D and Petricek, T},
booktitle = {Semantics, Logics, and Calculi},
doi = {10.1007/978-3-319-27810-0_1},
title = {Effect Systems Revisited—Control-Flow Algebra and Semantics},
url = {http://dx.doi.org/10.1007/978-3-319-27810-0_1},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CHAP
AB  - Effect systems were originally conceived as an inference-based program analysis to capture program behaviour—as a set of (representations of) effects. Two orthogonal developments have since happened. First, motivated by static analysis, effects were generalised to values in an algebra, to better model control flow (e.g. for may/must analyses and concurrency). Second, motivated by semantic questions, the syntactic notion of set- (or semilattice-) based effect system was linked to the semantic notion of monads and more recently to graded monads which give a more precise semantic account of effects.We give a lightweight tutorial explanation of the concepts involved in these two threads and then unify them via the notion of an effect-directed semantics for a control-flow algebra of effects. For the case of effectful programming with sequencing, alternation and parallelism—illustrated with music—we identify a form of graded joinads as the appropriate structure for unifying effect analysis and semantics.
AU  - Mycroft,A
AU  - Orchard,D
AU  - Petricek,T
DO  - 10.1007/978-3-319-27810-0_1
PY  - 2015///
TI  - Effect Systems Revisited—Control-Flow Algebra and Semantics
T1  - Semantics, Logics, and Calculi
UR  - http://dx.doi.org/10.1007/978-3-319-27810-0_1
ER  -
Download