A Model of Cooperative Threads

Details A Model of Cooperative Threads A Model of Cooperative Threads

2010-09-13

arxiv.org/abs/1009.2405v2

LMCS 6 (4:2) 2010

Computer Science

Programming Languages

39 pages, 5 figures

Scientific paper

10.2168/LMCS-6(4:2)2010

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.

Affiliated with

Also associated with

No associations

Rating

A Model of Cooperative Threads does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Model of Cooperative Threads, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Model of Cooperative Threads will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-337741