On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language

• Authors:

• Luc Bougé;Yann Le Guyadec;Gil Utard;Bernard Virot

• Affiliations:

• -;-;-;-

• Venue:
• CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
• Year:
• 1994