On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.

Luc Boug, David Cachera

Browse the full EuroPar paper archive.