Implementing deterministic declarative concurrency using sieves

Sam Lindley*

*Corresponding author for this work

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

4 Citations (Scopus)


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 publicationDAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming
PublisherAssociation for Computing Machinery
Number of pages5
ISBN (Print)9781595936905
Publication statusPublished - 16 Jan 2007
Event2007 Annual Symposium on Principles of Programming Languages - Nice, France
Duration: 16 Jan 200716 Jan 2007


Conference2007 Annual Symposium on Principles of Programming Languages

ASJC Scopus subject areas

  • Software


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

Cite this