Declarative aspects of memory management in the concurrent collections parallel programming model.

Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari

Browse the full POPL paper archive.