{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:12Z","timestamp":1725664572387},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616269"},{"type":"electronic","value":"9783540706335"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61626-8_100","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:04:11Z","timestamp":1330293851000},"page":"770-774","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Laws of data parallel assignment"],"prefix":"10.1007","author":[{"given":"J. P.","family":"Wray","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"100_CR1","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"100_CR2","doi-asserted-by":"crossref","unstructured":"M. Clint, S. Fitzpatrick, T.J. Harmer, P.L. Kilpatrick, and J.M. Boyle. A family of data-parallel derviations. In W. Gentzsch and U. Harms, editors, Proceedings of High Performance Computing and Networking, Volume II, LNCS 797, pages 457\u2013462. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57981-8_160"},{"key":"100_CR3","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"100_CR4","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. Prentice-Hall International, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"issue":"8","key":"100_CR5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672\u2013686, 1987.","journal-title":"Communications of the ACM"},{"key":"100_CR6","first-page":"135","volume":"3","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare and P.E. Lauer. Consistent and complementary formal theories of the semantics of programming languages. Acta Informatica, 3:135\u2013153, 1974.","journal-title":"Acta Informatica"},{"key":"100_CR7","unstructured":"M. Metcalf and J. Reid. Fortran 90 explained. Oxford University Press, 1990."},{"key":"100_CR8","first-page":"266","volume":"2","author":"R.H. Perrott","year":"1979","unstructured":"R.H. Perrott. A language for array and vector processors. ACM Transactions on Programming Languages and Systems, 2:266\u2013287, 1979.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"100_CR9","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1007\/BF01941139","volume":"28","author":"A. Stewart","year":"1988","unstructured":"A. Stewart. SIMD language design using prescriptive semantics. BIT, 28:639\u2013650, 1988.","journal-title":"BIT"},{"key":"100_CR10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/BF01932133","volume":"30","author":"A. Stewart","year":"1990","unstructured":"A. Stewart. An axiomatic treatment of SIMD assignment. BIT, 30:70\u201382, 1990.","journal-title":"BIT"},{"key":"100_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1006\/jpdc.1995.1073","volume":"27","author":"A. Stewart","year":"1995","unstructured":"A. Stewart. Reasoning about data-parallel array assignment. Journal of Parallel and Distributed Computing, 27:79\u201385, 1995.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"100_CR12","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BF01932840","volume":"21","author":"P.J.L. Wallis","year":"1981","unstructured":"P.J.L. Wallis. Some primitives for the portable programming of array and vector processors. BIT, 21:436\u2013448, 1981.","journal-title":"BIT"},{"key":"100_CR13","unstructured":"J.P. Wray. The Semantics of Synchronised Assignment. PhD thesis, The Queen's University of Belfast, July 1992."},{"key":"100_CR14","doi-asserted-by":"crossref","unstructured":"J.P. Wray. Algebraic laws and a normal form for data parallel assignment. Technical report, Department of Computer Science, The Queen's University of Belfast, May 1996.","DOI":"10.1007\/3-540-61626-8_100"},{"key":"100_CR15","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF01211307","volume":"6","author":"J.P. Wray","year":"1994","unstructured":"J.P. Wray and A. Stewart. Correct translation of data parallel assignment onto array processors. Formal Aspects of Computing, 6:417\u2013439, 1994.","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'96 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61626-8_100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:21:21Z","timestamp":1587342081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61626-8_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616269","9783540706335"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61626-8_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"8 June 2005","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"}]}}