Searching for "A Proofe System for a Simple Data-Parallel Programming Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

A Proof System for a Simple Data-Parallel Programming Language
by Luc Bouge, Ecole Normale, Suprieure Lyon, Adresses Lectroniques, Yann Le Guyadec, Yann Le Guyadec, Bernard Virot, Bernard Virot, Gil Utard, Gil Utard — 1993
… associe au CNRS n1398 A proof system for a simple data-parallel programming language Luc Boug'e Yann Le…
Cited by 6 (6 self) – Add To MetaCart

Franco-british N+N meeting on Data-Parallel Languages and Compilers for Portable Parallel Computing
by Jean-Luc Dekeyser, Ffl Prof Jean-luc Dekeyser, Ffl Prof Chris Jesshope — 1994
…. [3] L. Boug'e, Y. Le Guyadec, G. Utard, and B. Virot. A proof system for a simple data-parallel…
Add To MetaCart

-Franois Mhaut. Execution replay of parallel programs. In
by Proc Of Nd, Yann Le Guyadec, Bernard Virot, Luc Boug, Luc Boug, Claire Kenyon, Jean-michel Muller, Yves Robert Exercices D'algorithmique, Yves Denneulin, Thierry Gauthier, Jean-marc Geib, Christophe Gransart, Fred Hmery, Jean-franois Mhaut, Jean-louis Roch, Jean-franois Roos, El-ghazali Talbi
…, and Bernard Virot. A proof system for a simple data-parallel programming language. In Claude Girault, editor…
Add To MetaCart

Conference, 1994. [109] D. Sueur. Shell h'et'ergog`ene `a parall'elisme de donn'ees. In
by Renpar Es, E. Violard, G. -r. Perrin, Reduction In, B. Buchberger, J. Volkert, T. Risset P. -y. Call
…. Cachera. On the completeness of a proof system for a simple data-parallel language. In Proc. 1st Euro…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB