Searching for "On the Expressivity of a Weakest Precondition Calculus 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

3 documents found, showing 1 through 3.

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming
by Luc Bouge, Yann Le Guyadec, Gil Utard, Bernard Virot — 1994
…On the expressivity of a weakest precondition calculus for a simple data-parallel programming…
Cited by 5 (4 self) – Add To MetaCart

[26] Luc Boug, Michel Cosnard, and Pierre Fraigniaud, editors.
by Jeunes Chercheurs
… weakest precondition calculus for a simple data-parallel programming language. Resrach Report RR1994…
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. On the expressivity of a weakest precondition calculus for a simple data-parallel…
Add To MetaCart

Showing 1 through 3.

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