Veriication of Sequential and Concurrent Programs. T ext and Monographs in Computer Science, 1990. ,
On the expressivity o f a w aekest precondition calculus for a simple data-parallel language, Parallel Processing: ConPar'94 { VAPP VI, 1994. ,
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. ,
Control structures for data-parallel SIMD languages: semantics and implementation, FGCS, vol.8, pp.363-378, 1992. ,
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)
, , 1993.
An approach to correctness of data parallel algorithms, Journ. of Parallel and Distr. Computing, 1991. ,
Programming Language Theory and its Implementation. I n t, Series in Comp. Sciences, 1988. ,
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.
Verifying Properties of Parallel Programs : An Axiomatic Approach, Communication of the ACM, vol.19, issue.5, pp.279-285, 1976. ,
HyperC speciication document, HyperParallel Technologie, 1993. ,
A language for array and vector processors, ACM Trans. on Programming languages and Systems, vol.1, issue.2, p.79 ,
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