{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:57Z","timestamp":1725664977581},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617365"},{"type":"electronic","value":"9783540706465"}],"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-61736-1_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:14Z","timestamp":1330294694000},"page":"252-281","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal validation of data parallel programs: Introducing the assertional approach"],"prefix":"10.1007","author":[{"given":"L.","family":"Boug\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Cachera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Le Guyadec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Utard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Virot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Text and Monographs in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"13_CR2","volume-title":"A proof system for a simple data-parallel programming language","author":"L. Boug\u00e9","year":"1994","unstructured":"L. Boug\u00e9, Y. Le Guyadec, G. Utard, and B. Virot. A proof system for a simple data-parallel programming language. In C. Girault, editor, Proc. of IFIP WG 10.3, Applications in Parallel and Distributed Computing, Caracas, Venezuela, April 1994. North-Holland."},{"key":"13_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:363\u2013378, 1992.","journal-title":"Future Generation Computer Systems"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"L. Boug\u00e9. The Data Parallel Programming Model: A Semantic Perspective. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 1. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61736-1_40"},{"key":"13_CR5","volume-title":"Technical Report 94\u201318","author":"L. Boug\u00e9","year":"1994","unstructured":"Luc Boug\u00e9 and Gil Utard. Escape constructs in data-parallel languages: semantics and proof system. Technical Report 94\u201318, LIP, ENS Lyon, 1994."},{"key":"13_CR6","volume-title":"Technical Report 95\u201329","author":"D. Cachera","year":"1995","unstructured":"D. Cachera. Two completeness results about a proof system for simple data-parallel language. Technical Report 95\u201329, LIP, ENS Lyon, 1995."},{"key":"13_CR7","unstructured":"M. Clint and K.T. Narayana. On the completeness of a proof system for a synchronous parallel programming language. In Third Conf. Found. Softw. Techn. and Theor. Comp. Science, Bangalore, India, December 1983."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"D. Cachera and G. Utard. Proving data-parallel programs: a unifying approach. Parallel Processing Letters, 1996. To appear.","DOI":"10.1142\/S0129626496000455"},{"issue":"2","key":"13_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1006\/jpdc.1994.1080","volume":"22","author":"J. Gabarr\u00f3","year":"1994","unstructured":"J. Gabarr\u00f3 and R. Gavald\u00e0. An approach to correctness of data-parallel algorithms. Journal of Parallel and Distributed Computing, 22(2):185\u2013201, August 1994.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"13_CR10","unstructured":"M.J.C. Gordon. Programming Language Theory and its Implementation. Prentice-Hall International, 1988."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Yann Le Guyadec and Bernard Virot. Sequential-like proofs of dataparallel programs. Parallel Processing Letters, 1996. To appear.","DOI":"10.1142\/S012962649600039X"},{"issue":"10","key":"13_CR12","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013583, October 1969.","journal-title":"Communications of the ACM"},{"issue":"12","key":"13_CR13","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":"13_CR14","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":"13_CR15","unstructured":"MasPar Computer Corporation, Sunnyvale CA. MasPar Parallel Application Language Reference Manual, 1990."},{"issue":"5","key":"13_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. Verifying properties of parallel programs: an axiomatic approach. Communication of the ACM, 19(5):279\u2013285, 1976.","journal-title":"Communication of the ACM"},{"key":"13_CR17","unstructured":"N. Paris. HyperC specification document. Technical Report 93-1, HyperParallel Technologies, 1993."},{"issue":"2","key":"13_CR18","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 Transactions on Programming Languages, 1(2):177\u2013195, 1979.","journal-title":"ACM Transactions on Programming Languages"},{"key":"13_CR19","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":"13_CR20","unstructured":"Thinking Machine Corporation, Cambridge MA. C\n*\nprogramming guide, 1990."},{"key":"13_CR21","unstructured":"G. Utard. Semantics of data-parallel languages. Applications to validation and compilation. PhD thesis, cole Normale Sup\u00e9rieure de Lyon, 1995. In french."}],"container-title":["Lecture Notes in Computer Science","The Data Parallel Programming Model"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61736-1_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:39:46Z","timestamp":1558269586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61736-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617365","9783540706465"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61736-1_51","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":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}