Refined C: A Sequential Language for Parallel Programming.

Henry G. Dietz, David Klappholz

Browse the full ICPP paper archive.