{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:29Z","timestamp":1761597329885},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617365"},{"type":"electronic","value":"9783540706465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61736-1_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:05Z","timestamp":1330276685000},"page":"4-26","source":"Crossref","is-referenced-by-count":10,"title":["The data parallel programming model: A semantic perspective"],"prefix":"10.1007","author":[{"given":"Luc","family":"Boug\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"C. Bareau, B. Caillaud, C. Jard, and R. Thoraval. Correctness of automated distribution of sequential programs. In Parallel Architectures and Languages Europe (PARLE'93), number 694 in Lecture Notes in Computer Science, pages 517\u2013528, 1993.","DOI":"10.1007\/3-540-56891-3_41"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"L. Boug\u00e9, D. Cachera, Y. Le Guyadec, G. Utard, and B. Virot. Formal Validation of Data Parallel Programs: Introducing the Assertional Approach. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 12. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61736-1_51"},{"issue":"3\/4","key":"2_CR3","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0167-739X(92)90069-N","volume":"8","author":"L. Boug\u00e9","year":"1992","unstructured":"L. Boug\u00e9 and J.-L. Levaire. Control structures for data-parallel SIMD languages: semantics and implementation. Future Generation Computer Systems, 8(3\/4):363\u2013378, 1992.","journal-title":"Future Generation Computer Systems"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"T. Blank. The MasPar MP-1 architecture. In Proc. of the 35th IEEE Computer Society Int. Conf., Spring COMPCON'90, pages 20\u201324, San Francisco, 1990.","DOI":"10.1109\/CMPCON.1990.63648"},{"key":"2_CR5","volume-title":"Vector models for data-parallel computing","author":"G.E. Blelloch","year":"1990","unstructured":"G.E. Blelloch. Vector models for data-parallel computing. MIT Press, Cambridge, 1990."},{"key":"2_CR6","first-page":"166","volume-title":"number 506 in Lecture Notes in Computer Science","author":"L. Boug\u00e9","year":"1991","unstructured":"L. Boug\u00e9. On the semantics of languages for massively parallel SIMD architectures (extended abstract). In Proc. Parallel Arch. and Lang. Europe Conf., PARLE'91, number 506 in Lecture Notes in Computer Science, pages 166\u2013183, Eindhoven, 1991. Springer Verlag."},{"issue":"4","key":"2_CR7","first-page":"323","volume":"32","author":"N. Carreiro","year":"1989","unstructured":"N. Carreiro and D. Gelertner. Linda in context. Communications of the ACM, 32(4):323\u2013357, 1989.","journal-title":"Communications of the ACM"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00128175","volume":"2","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Compiling programs for distributed-memory multiprocessors. Journal of SuperComputing, 2:151\u2013169, 1988.","journal-title":"Journal of SuperComputing"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W.G. Dijkstra","year":"1968","unstructured":"E.W.G. Dijkstra. GO TO statement considered harmful. Communications of the ACM, 11:147\u2013148, 1968.","journal-title":"Communications of the ACM"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Tz. Elrad and N. Francez. Decomposition of distributed programs into communication-closed layers. Science of Computer Programming, 2:155\u2013173, 1982.","journal-title":"Science of Computer Programming"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"R. Esser and R. Knecht. Intel Paragon XP\/S \u2014 architecture and software environment. Technical Report KFA-ZAM-IB-9305, Central Institute for Mathemantics, Research Center Juelich, 1993.","DOI":"10.1007\/978-3-642-78348-7_13"},{"key":"2_CR12","unstructured":"P. Feautrier. Asymptotically efficient algorithms for parallel architectures. In Decentralized Systems, pages 273\u2013284. IFIP Working Group 10.3, North-Holland, 1989."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Paul Feautrier. Automatic Parallelization in the Polytope Model. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 4. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61736-1_44"},{"issue":"9","key":"2_CR14","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/TC.1972.5009071","volume":"C-21","author":"M.J. Flynn","year":"1972","unstructured":"M.J. Flynn. Some computer organizations and their effectiveness. IEEE Trans. on Computers, C-21(9):948\u2013960, 1972.","journal-title":"IEEE Trans. on Computers"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum. High Performance Fortran language specification (draft version). CITI\/CRPC, Rice Univ., Houston, January 1993. Version 1.0 Draft.","DOI":"10.1145\/174223.158909"},{"key":"2_CR16","unstructured":"Ian Foster. Designing and Building Parallel Programs. Addison-Wesley, 1995."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Ian Foster. Task Parallelism and High-Performance Languages. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 9. Springer Verlag, 1996.","DOI":"10.2172\/205045"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21:666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"2_CR19","unstructured":"Ph.J. Hatcher and M. Quinn. DataParallel C: Compiling DataParallel Languages on MIMD architectures. MIT Press, 1992."},{"issue":"12","key":"2_CR20","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1145\/7902.7903","volume":"29","author":"W.D. Hillis","year":"1986","unstructured":"W.D. Hillis and G.L. Steele, Jr. Data-parallel algorithms. Communications of the ACM, 29(12):1170\u20131183, 1986.","journal-title":"Communications of the ACM"},{"key":"2_CR21","unstructured":"Intel Corporation, Beaverton, OR. Paragon XP\/S Product Overview, 1991."},{"key":"2_CR22","volume-title":"A programming langage","author":"K.E. Iverson","year":"1962","unstructured":"K.E. Iverson. A programming langage. Wiley, New-York, 1962."},{"key":"2_CR23","volume-title":"number 505 in Lecture Notes in Computer Science","author":"R. Keryell","year":"1991","unstructured":"R. Keryell, Ph. Matherat, and N. Paris. POMP, or how to design a massively parallel machine with small developments. In Proc. Conf. on Parallel Arch. and Lang. Europe, PARLE'91, number 505 in Lecture Notes in Computer Science, Eindhoven, 1991. Springer Verlag."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rn Lisper. Data Parallelism and Functional Programming. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 11. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61736-1_50"},{"key":"2_CR25","unstructured":"MasPar Computer Corporation, Sunnyvale, CA. Maspar Parallel Application Language Reference Manual, 1990."},{"key":"2_CR26","unstructured":"MasPar Computer Corporation, Sunnyvale, CA. MP-Fortran Reference Manual, 1990."},{"key":"2_CR27","volume-title":"Technical Report 92\u20135","author":"N. Paris","year":"1992","unstructured":"N. Paris. D\u00e9finition de POMPC (version 1.99). Technical Report 92\u20135, LIENS, Paris, 1992. English version in preparation."},{"issue":"2","key":"2_CR28","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/357073.357075","volume":"1","author":"R.H. Perrot","year":"1979","unstructured":"R.H. Perrot. A language for array and vector processors. ACM Trans. on Progr. Lang. and Syst., 1(2):177\u2013195, 1979.","journal-title":"ACM Trans. on Progr. Lang. and Syst."},{"key":"2_CR29","unstructured":"G.L. Steele, Jr. and W.D. Hillis. Connection machine lisp: Fine-grain parallel symbolic processing. In Proc. 1986 ACM Conf. on Lisp and Funct. Progr., pages 279\u2013297, Cambridge, Mass., 1986."},{"key":"2_CR30","unstructured":"ThinkingMachine Corporation, Cambridge MA. C * Programming Guide, 1990."},{"key":"2_CR31","unstructured":"Thinking Machine Corporation, Cambridge, MA. CM-FORTRAN Programming Guide, 1990."},{"key":"2_CR32","unstructured":"Thinking Machine Corporation, Cambridge, MA. CM-2 Technical Summary, 1991."},{"key":"2_CR33","unstructured":"Thinking Machine Corporation, Cambridge, MA, CM-5 Technical Summary, 1991."}],"container-title":["Lecture Notes in Computer Science","The Data Parallel Programming Model"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61736-1_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:00Z","timestamp":1605629400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61736-1_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617365","9783540706465"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-61736-1_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}