Effect Systems Revisited—Control-Flow Algebra and Semantics

Publication:

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

ISBN:

978-3-319-27810-0

Abstract:

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.

BibTeX:

@incollection{mycroft_effect_2016,
    title = {{Effect Systems Revisited— Control-Flow Algebra and Semantics}},
    author = {Mycroft, Alan and Orchard, Dominic and Petricek, Tomas},
    year = {2016},
    booktitle = {{Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays}},
    editor = {Probst, Christian W. and Hankin, Chris and Hansen, René Rydhof},
    publisher = {Springer International Publishing},
    series = {{Lecture Notes in Computer Science}},
    location = {Cham},
    doi = {10.1007/978-3-319-27810-0_1},
    isbn = {978-3-319-27810-0},
    pages = {1--32},
}

Book chapter