Formal Validation of Data Parallel Programs: Introducting the Assertional Approach

@inproceedings{Boug1996FormalVO,
  title={Formal Validation of Data Parallel Programs: Introducting the Assertional Approach},
  author={Luc Boug{\'e} and David Cachera and Yann Le Guyadec and Gil Utard and Bernard Virot},
  booktitle={The Data Parallel Programming Model},
  year={1996}
}