{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:27Z","timestamp":1725490287502},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679561"},{"type":"electronic","value":"9783540445203"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44520-x_92","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T23:51:43Z","timestamp":1188345103000},"page":"668-677","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Theoretical Framework of Data Parallelism and Its Operational Semantics"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Gerner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Violard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,18]]},"reference":[{"key":"92_CR1","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum. High Performance Fortran Language Specification, Version 1.0, January 1993.","DOI":"10.1145\/174223.158909"},{"key":"92_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C.B. Jay","year":"1995","unstructured":"C.B. Jay. A semantics for shape. Sc. of Computer Programming, 25:251\u2013283, 1995.","journal-title":"Sc. of Computer Programming"},{"key":"92_CR3","unstructured":"V. Kumar, A. Grama, A. Gupta, and G. Karypis. Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin\/Cummings, 1994."},{"key":"92_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Data Parallelism and Functional Programming","author":"B. Lisper","year":"1996","unstructured":"B. Lisper. Data Parallelism and Functional Programming. LNCS 1132-Tutorial Series, 1996."},{"key":"92_CR5","unstructured":"C. Mauras. Alpha: un langage \u00e9quationnel pour la conception et la programmation d\u2019architectures parall`eles synchrones. PhD thesis, U. Rennes, 1989."},{"key":"92_CR6","unstructured":"Thinking Machines Corp. C* Programming Guide, November 1990."},{"key":"92_CR7","unstructured":"E. Violard. What really is data parallelism? Technical Report RR 00-01, ICPS, Universit\u00e9 Louis Pasteur, January 2000."}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2000 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44520-X_92","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:28:45Z","timestamp":1587328125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44520-X_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679561","9783540445203"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-44520-x_92","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"18 August 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}