|
СТ |
Sequential-Like Proofs of Data-parallel Programs |
1996 |
Le Guyadec Y., Virot B. |
|
|
|
Parallel Processing Letters |
31.08.2002 |
|
СТ |
Formal Validation of Data Parallel Programs: Introducing the Assertional Approach |
1996 |
Bouge L., Cachera D., Le Guyadec Y., Utard G., Virot B. |
Lecture Notes in Computer Science |
|
|
The Data Parallel Programming Model |
12.10.1996 |
|
СТ |
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version) |
1994 |
Bouge L., Le Guyadec Y., Utard G., Virot B. |
|
|
|
Lecture Notes in Computer Science |
17.11.1994 |
