| 1997 |
|---|
| 5 | EE | Luc Bougé,
David Cachera,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Theor. Comput. Sci. 189(1-2): 71-107 (1997) |
| 1996 |
|---|
| 4 | | Yann Le Guyadec,
Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).
Euro-Par, Vol. I 1996: 732-741 |
| 3 | | Luc Bougé,
David Cachera,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
The Data Parallel Programming Model 1996: 252-281 |
| 1994 |
|---|
| 2 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
A Proofe System for a Simple Data-Parallel Programming Language.
Applications in Parallel and Distributed Computing 1994: 63-72 |
| 1 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
CONPAR 1994: 100-111 |
