Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck. Controlling chaos: on safe side-effects in data-parallel operations. In Leaf Petersen, Manuel M. T. Chakravarty, editors, Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. pages 59-67, ACM, 2009. [doi]
Abstract is missing.