Implementing deterministic declarative concurrency using sieves

Sam Lindley

doi:10.1145/1248648.1248657

Implementing deterministic declarative concurrency using sieves

Sam Lindley^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 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 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	https://doi.org/10.1145/1248648.1248657
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

Access to Document

10.1145/1248648.1248657

Cite this

@inproceedings{ebcf680175b344d6bcf0536011b46076,

title = "Implementing deterministic declarative concurrency using sieves",

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.",

author = "Sam Lindley",

year = "2007",

month = jan,

day = "16",

doi = "10.1145/1248648.1248657",

language = "English",

isbn = "9781595936905",

pages = "45--49",

booktitle = "DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming",

publisher = "Association for Computing Machinery",

address = "United States",

note = "2007 Annual Symposium on Principles of Programming Languages ; Conference date: 16-01-2007 Through 16-01-2007",

}

TY - GEN

T1 - Implementing deterministic declarative concurrency using sieves

AU - Lindley, Sam

PY - 2007/1/16

Y1 - 2007/1/16

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/35348834794

U2 - 10.1145/1248648.1248657

DO - 10.1145/1248648.1248657

M3 - Conference contribution

AN - SCOPUS:35348834794

SN - 9781595936905

SP - 45

EP - 49

BT - DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming

PB - Association for Computing Machinery

T2 - 2007 Annual Symposium on Principles of Programming Languages

Y2 - 16 January 2007 through 16 January 2007

ER -

Implementing deterministic declarative concurrency using sieves

Abstract

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this