K. R. Apt and E. R. Olderog, Veriication of Sequential and Concurrent Programs. T ext and Monographs in Computer Science, 1990.

L. Boug-e, Y. L. Guyadec, G. Utard, and B. Virot, On the expressivity o f a w aekest precondition calculus for a simple data-parallel language, Parallel Processing: ConPar'94 { VAPP VI, 1994.

L. Boug-e, Y. L. Guyadec, G. Utard, and B. Virot, A proof system for a simple data-parallel programming language, Proc. of the IFIP WG10.3 Int. Conf. on Application in Parallel and Distributed Computing, 1994.

L. Boug-e and J. Levaire, Control structures for data-parallel SIMD languages: semantics and implementation, FGCS, vol.8, pp.363-378, 1992.

M. Clint and K. T. Narayana, On the completeness of a proof system for a synchronous parallel programming langage, Third Conf. Found. Softw. Techn. and Theor. Comp. Science, 1983.

, High Performance Fortran Forum. High Performance F ortran language speciication (draft version)

R. Citi/crpc and . Univ, , 1993.

J. Gabarrr and R. Gavaldd, An approach to correctness of data parallel algorithms, Journ. of Parallel and Distr. Computing, 1991.

M. J. Gordon, Programming Language Theory and its Implementation. I n t, Series in Comp. Sciences, 1988.

J. Levaire, Using the Centaur system for data-parallel SIMD programming: a case study, Proc. 4th European Symposium on Programming, ESOP'92, 1992.

, Maspar Parallel Application Language Reference M a nual, 1990.

S. Owicki and D. Gries, Verifying Properties of Parallel Programs : An Axiomatic Approach, Communication of the ACM, vol.19, issue.5, pp.279-285, 1976.

N. Paris, HyperC speciication document, HyperParallel Technologie, 1993.

R. H. Perrot, A language for array and vector processors, ACM Trans. on Programming languages and Systems, vol.1, issue.2, p.79

A. Stewart, An axiomatic treatment o f S I M D a s s i g n m e n t. Bit, vol.30, pp.70-82, 1990.

, Thinking Machine Corporation, Cambridge MA. C programming guide, pp.1-9