Implementing deterministic declarative concurrency using sieves

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a simple way of adding deterministic declarative concurrency to imperative programming languages. Sieve programs have a straightforward semantics, are not significantly more difficult to reason about than sequential imperative programs, and should scale to large numbers of processors as well as different processor architectures.
Original languageEnglish
Title of host publicationProceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007
Number of pages5
ISBN (Print)978-1-59593-690-5
Publication statusPublished - 2007


Dive into the research topics of 'Implementing deterministic declarative concurrency using sieves'. Together they form a unique fingerprint.

Cite this