A Proofe System for a Simple Data-Parallel Programming Language.
L. Bougé, Y. Guyadec, G. Utard, and B. Virot. Applications in Parallel and Distributed Computing, volume A-44 of IFIP Transactions, page 63-72. North-Holland, (1994)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/apdc/BougeGUV94
%A Bougé, Luc
%A Guyadec, Yann Le
%A Utard, Gil
%A Virot, Bernard
%B Applications in Parallel and Distributed Computing
%D 1994
%E Girault, Claude
%I North-Holland
%K dblp
%P 63-72
%T A Proofe System for a Simple Data-Parallel Programming Language.
%U http://dblp.uni-trier.de/db/conf/apdc/apdc1994.html#BougeGUV94
%V A-44
%@ 0-444-81870-7
@inproceedings{conf/apdc/BougeGUV94,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Bougé, Luc and Guyadec, Yann Le and Utard, Gil and Virot, Bernard},
biburl = {https://www.bibsonomy.org/bibtex/2c325953eb4e3f8761715bf293174af0c/dblp},
booktitle = {Applications in Parallel and Distributed Computing},
crossref = {conf/apdc/1994},
date = {2002-01-03},
description = {dblp},
editor = {Girault, Claude},
interhash = {16c70d13e751973488b93b2e30a40868},
intrahash = {c325953eb4e3f8761715bf293174af0c},
isbn = {0-444-81870-7},
keywords = {dblp},
pages = {63-72},
publisher = {North-Holland},
series = {IFIP Transactions},
timestamp = {2002-01-03T00:00:00.000+0100},
title = {A Proofe System for a Simple Data-Parallel Programming Language.},
url = {http://dblp.uni-trier.de/db/conf/apdc/apdc1994.html#BougeGUV94},
volume = {A-44},
year = 1994
}
