%0 Conference Paper %1 conf/conpar/BougeGUV94 %A Bougé, Luc %A Guyadec, Yann Le %A Utard, Gil %A Virot, Bernard %B CONPAR %D 1994 %E Buchberger, Bruno %E Volkert, Jens %I Springer %K dblp %P 100-111 %T On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. %U http://dblp.uni-trier.de/db/conf/conpar/conpar1994.html#BougeGUV94 %V 854 %@ 3-540-58430-7

@inproceedings{conf/conpar/BougeGUV94, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bougé, Luc and Guyadec, Yann Le and Utard, Gil and Virot, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2664c25d5374f51d1ad8b2f798038ae21/dblp}, booktitle = {CONPAR}, crossref = {conf/conpar/1994}, editor = {Buchberger, Bruno and Volkert, Jens}, ee = {https://doi.org/10.1007/3-540-58430-7_10}, interhash = {f545e530db95138f910562e4c97ff6c6}, intrahash = {664c25d5374f51d1ad8b2f798038ae21}, isbn = {3-540-58430-7}, keywords = {dblp}, pages = {100-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:39.000+0200}, title = {On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/conpar/conpar1994.html#BougeGUV94}, volume = 854, year = 1994 }