Implementing deterministic declarative concurrency using sieves
Implementing deterministic declarative concurrency using sieves
S. Lindley
2007 · DOI: 10.1145/1248648.1248657
Workshop on Declarative Aspects of Multicore Programming · 6 Citations
TLDR
Sieves provide a simple way of adding deterministic declarative concurrency to imperative programming languages, and should scale to large numbers of processors as well as different processor architectures.
