{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:30:12Z","timestamp":1707521412067},"reference-count":17,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1992,9,1]],"date-time":"1992-09-01T00:00:00Z","timestamp":715305600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1992,9]]},"DOI":"10.1016\/0167-739x(92)90069-n","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T11:12:00Z","timestamp":1062587520000},"page":"363-378","source":"Crossref","is-referenced-by-count":15,"title":["Control structures for data-parallel SIMD languages: semantics and implementation"],"prefix":"10.1016","volume":"8","author":[{"given":"Luc","family":"Boug\u00e9","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"Levaire","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(92)90069-N_BIB1","series-title":"Proc. 35th IEEE Computer Society Intermat. Conf., Spring COMPCON'90","first-page":"20","article-title":"The MasPar MP-1 Architecture","author":"Blank","year":"1990"},{"key":"10.1016\/0167-739X(92)90069-N_BIB2_1","article-title":"On the semantics of languages for massively parallel SIMD architectures","author":"Boug\u00e9","year":"1991"},{"key":"10.1016\/0167-739X(92)90069-N_BIB2_2","series-title":"Proc. Parallel Arch. and Lang. Europe Conf., PARLE'91","first-page":"166","volume":"Vol. 2","author":"Boug\u00e9","year":"1991"},{"key":"10.1016\/0167-739X(92)90069-N_BIB3_1","series-title":"Semantics of systems of concurrent processes","article-title":"Towards a semantic approach to SIMD architectures and their languages","author":"Boug\u00e9","year":"1989"},{"key":"10.1016\/0167-739X(92)90069-N_BIB3_2","first-page":"142","article-title":"Towards a semantic approach to SIMD architectures and their languages","volume":"469","author":"Boug\u00e9","year":"1990"},{"key":"10.1016\/0167-739X(92)90069-N_BIB4","series-title":"C\u2217 Programming Guide","year":"1990"},{"key":"10.1016\/0167-739X(92)90069-N_BIB5","series-title":"CM-FORTRAN Programming Guide","year":"1990"},{"key":"10.1016\/0167-739X(92)90069-N_BIB6","article-title":"An approach to correctness of data parallel algorithms","author":"Gabarro","year":"1991"},{"key":"10.1016\/0167-739X(92)90069-N_BIB7","series-title":"The Connection Machine","author":"Hillis","year":"1985"},{"key":"10.1016\/0167-739X(92)90069-N_BIB8","series-title":"Proc. Conf. on Parallel Arch. and Lang. Europe, PARLE'91","first-page":"83","article-title":"POMP, or How to design a massively parallel machine with small developments","volume":"Vol. 1","author":"Keryell","year":"1991"},{"key":"10.1016\/0167-739X(92)90069-N_BIB9","year":"1990"},{"key":"10.1016\/0167-739X(92)90069-N_BIB10","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/357073.357075","article-title":"A language for array and vector processors","volume":"1","author":"Perrot","year":"1979","journal-title":"ACM Trans. Progr. Lang. and Syst."},{"key":"10.1016\/0167-739X(92)90069-N_BIB11","series-title":"Formal description of programming concepts","article-title":"An operational semantics for CSP","author":"Plotkin","year":"1982"},{"key":"10.1016\/0167-739X(92)90069-N_BIB12","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1007\/BF01941139","article-title":"SIMD language design using prescriptive semantics","volume":"28","author":"Stewart","year":"1988","journal-title":"BIT"},{"key":"10.1016\/0167-739X(92)90069-N_BIB13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/BF01932133","article-title":"An axiomatic treatment of SIMD assignment","volume":"30","author":"Stewart","year":"1990","journal-title":"BIT"},{"key":"10.1016\/0167-739X(92)90069-N_BIB14","series-title":"Proc. 2nd Symp. on Frontiers of Massively Parallel Computation, Frontiers '88","first-page":"601","article-title":"A formal model for SIMD computation","author":"Rice","year":"1988"},{"key":"10.1016\/0167-739X(92)90069-N_BIB15","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BF01932840","article-title":"Some primitives for the portable programming of array and vector processors","volume":"21","author":"Wallis","year":"1981","journal-title":"BIT"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290069N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290069N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T06:53:40Z","timestamp":1551077620000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9290069N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["0167739X9290069N"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(92)90069-n","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}