Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

POPL
2009
ACM

favoriteEmaildiscussreport

124views Programming Languages» more POPL 2009»

A model of cooperative threads

14 years 5 months ago

A model of cooperative threads

Download users.soe.ucsc.edu

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 denotaemantics 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.

Gordon D. Plotkin, Martín Abadi

Real-time Traffic

Concurrent Imperative Programming | Free Algebra Monad | POPL 2009 | Programming Languages | Small Imperative Language |

claim paper

Related Content

» Resource Control for Synchronous Cooperative Threads

» Capriccio scalable threads for internet services

» Fair Cooperative Multithreading

» Transactions with isolation and cooperation

» FairThreads mixing cooperative and preemptive threads in C

» Integrating Remote Invocations with Asynchronism and Cooperative Multitasking

» Hirondml Fair Threads Migrations for Objective Caml

» Risk Assessment for OneCounter Threads

» Feasible Reactivity for Synchronous Cooperative Threads

Post Info
More Details (n/a)

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2009
Where	POPL
Authors	Gordon D. Plotkin, Martín Abadi

Comments (0)