Implementing deterministic declarative concurrency using sieves

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

3 Citations (Scopus)

Abstract

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
Pages45-49
Number of pages5
ISBN (Print)9781595936905
DOIs
Publication statusPublished - 16 Jan 2007
Event2007 Annual Symposium on Principles of Programming Languages - Nice, France
Duration: 16 Jan 200716 Jan 2007

Conference

Conference2007 Annual Symposium on Principles of Programming Languages
CountryFrance
CityNice
Period16/01/0716/01/07

ASJC Scopus subject areas

  • Software

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

Cite this