Abstract
The goal of this article is to isolate a set of primitives necessary for the construction of SIMD programs and to give a denotational semantics for these primitives. The intent is to devise a language with a simple semantics rather than to propose a language which may be conveniently implemented. The approach taken results in the addition of a synchronous parallel assignment statement and a synchronous communication statement to the familiar sequential programming language control structures of composition, projection and iteration.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
E. A. Ashcroft and W. W. Wadge,“R” for semantics, ACM TOPLAS, Vol. 4, No. 2, 283–294, 1982.
M. Clint and K. T. Narayana,Programming structures for synchronous purallelism, Parallel Computing 83, North-Holland, 405–412, 1984.
C. A. R. Hoare,Communicating sequential processes, Prentice-Hall, 1985.
C. A. R. Hoare and N. Wirth,An axiomatic definition of the programming language Pascal, Acta Informatica 2, 335–355, 1973.
ICL, DAP,Fortran language, (3rd edition), 1981.
R. H. Perrott,A language for array and vector processors, ACM TOPLAS, Vol. 1, No. 2, 177–195, 1979.
R. Russell,The Cray-1 computer system, CACM, Vol. 21, No. 1, 1978.
D. A. Schmidt,Denotational semantics, Allyn and Bacon INC., 1986.
J. E. Stoy,The Scott-Strachey approach to programming language theory, MIT Press, 1977.
R. D. Tennent,The denotational semantics of programming languages, CACM, Vol. 19, No. 8, 437–453, 1976.
P. J. L. Wallis,Some primitives for the portable programming of array and vector processors, BIT 21, 436–448, 1981.