Implementing deterministic declarative concurrency using sieves

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2007, Pages 45-49

  Lindley, Sam ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAMMING; DETERMINISTIC DECLARATIVE CONCURRENCY; IMPERATIVE PROGRAMMING LANGUAGES; SEQUENTIAL IMPERATIVE PROGRAMS;

CONCURRENT ENGINEERING; PROGRAM INTERPRETERS; SEQUENTIAL MACHINES; SIEVES; SOFTWARE ARCHITECTURE;

PROGRAMMING THEORY;

EID: 35348834794     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1248648.1248657     Document Type: Conference Paper

References (6)

1. The Cilk project. http://supertech.csail.mit.edu/cilk/index.html.
2. T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Composable memory transactions. In PPoPP, pages 48-60, New York, NY, USA, 2005. ACM. Press.
3. J. M. D. Hill, B. McColl, D. C. Stefanescu, M. W. Goudreau, K. Lang, S. B. Rao, T. Suel, T. Tsantilas, and R. H. Bisseling. BSPlib: The BSP programming library. Parallel Computing, 24(14): 1947-1980, 1998.
4. Intel earnings release: Q3, 2006. http://www.intel.com/intel/finance/ earnings/IntelQ32006EarningsRelease.pdf.
5. Advanced gaming physics defining the new reality in PC hardware, Mar. 2006. White paper. http://www.ageia.com/pdf/wp_advanced_gaming_physics.pdf.
6. A. Richards. The Codeplay Sieve C++ parallel programming system, 2006. http://www.codeplay.com/downloads_public/sievepaper-2columns-normal.pdf.