Martín Abadi ; Gordon D. Plotkin - A Model of Cooperative Threads

lmcs:700 - Logical Methods in Computer Science, October 20, 2010, Volume 6, Issue 4 - https://doi.org/10.2168/LMCS-6(4:2)2010
A Model of Cooperative Threads

Authors: Martín Abadi ; Gordon D. Plotkin

    We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this semantics is fully abstract but mathematically elementary. We also give an equational theory for the computational effects that underlie the language, including thread spawning. We then analyze threads in terms of the free algebra monad for this theory.


    Volume: Volume 6, Issue 4
    Published on: October 20, 2010
    Accepted on: June 25, 2015
    Submitted on: September 17, 2010
    Keywords: Computer Science - Programming Languages,D.1.3, F.3.2

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-319-71237-6_17
    • 10.1007/978-3-319-71237-6_17
    • 10.1007/978-3-319-71237-6_17
    Implementing Algebraic Effects in C
    Leijen, Daan ;

    4 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 536 times.
    This article's PDF has been downloaded 297 times.