UPDF AI

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.