| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Luc Bougé, David Cachera: A logical framework to prove properties of Alpha programs. ASAP 1997: 187-198 |
| 4 | | 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) |
| 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 |
| 1 | | Luc Bougé, David Cachera: On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. Euro-Par 1995: 143-154 |
Selection of 4 from 23 records - David Cachera has 16 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page