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 language | English |
---|---|
Title of host publication | DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming |
Publisher | Association for Computing Machinery |
Pages | 45-49 |
Number of pages | 5 |
ISBN (Print) | 9781595936905 |
DOIs | |
Publication status | Published - 16 Jan 2007 |
Event | 2007 Annual Symposium on Principles of Programming Languages - Nice, France Duration: 16 Jan 2007 → 16 Jan 2007 |
Conference
Conference | 2007 Annual Symposium on Principles of Programming Languages |
---|---|
Country/Territory | France |
City | Nice |
Period | 16/01/07 → 16/01/07 |
ASJC Scopus subject areas
- Software