{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:28:04Z","timestamp":1725456484586},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0002778","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"521-529","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Typechecking of Pei expressions"],"prefix":"10.1007","author":[{"given":"Eric","family":"Violard","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"66_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0167-6423(87)90019-0","volume":"8","author":"L. Cardelli","year":"1987","unstructured":"Luca Cardelli. Basic polymorphic typechecking. Science of Computer Programming, 8:2, April 1987. AT&T Bell Laboratories.","journal-title":"Science of Computer Programming"},{"key":"66_CR2","unstructured":"M. Chen, Y. Choo, and J. Li. Parallel Functional Languages and Compilers. Frontier Series. ACM Press, 1991. Chapter 7."},{"key":"66_CR3","first-page":"131","volume":"966","author":"S. Genaud","year":"1995","unstructured":"St\u00e9phane Genaud, Eric Violard, and Guy-Ren\u00e9 Perrin. Transformations techniques in Pei. EUROPAR'95, LNCS, 966:131\u2013142, August 1995.","journal-title":"EUROPAR'95, LNCS"},{"key":"66_CR4","doi-asserted-by":"crossref","unstructured":"P. Hammarlund and B. Lisper. On the relation between functional and data parallel programming languages. FPCA93, ACM Press, pages 210\u2013222, 1993.","DOI":"10.1145\/165180.165211"},{"key":"66_CR5","unstructured":"Wayne Kelly, Vadim Maslov, William Pugh, Evan Rosser, Tatiana Shpeisman, and David Wonnacott. The Omega Library \u2014 Version 1.00, April 1996. Interface Guide."},{"issue":"2","key":"66_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport. The parallel execution of DO loops. Communications of the ACM, 17(2):83\u201393, February 1974.","journal-title":"Communications of the ACM"},{"key":"66_CR7","unstructured":"C. Lengauer. Loop parallelization in the polytope model. Parallel Processing Letters, 4(3), 1994."},{"key":"66_CR8","unstructured":"C. Mauras. Alpha: un langage \u00e9quationnel pour la conception et la programmation d'architectures parall\u00e8les synchrones. PhD thesis, U. Rennes, 1989."},{"key":"66_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF01192158","volume":"31","author":"C. Mongenet","year":"1994","unstructured":"C. Mongenet, P. Clauss, and G.-R. Perrin. Geometrical tools to map systems of affine recurrence equations on regular arrays. Acta Informatica, 31:137\u2013160, 1994.","journal-title":"Acta Informatica"},{"key":"66_CR10","volume-title":"Programming from specifications","author":"C. Morgan","year":"1990","unstructured":"C. Morgan. Programming from specifications. C.A.R. Home. Prentice Hall Ed., Endlewood Cliffs, N.J., 1990."},{"key":"66_CR11","doi-asserted-by":"crossref","unstructured":"William Pugh. The omega test: a fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, August 1992.","DOI":"10.1145\/125826.125848"},{"key":"66_CR12","doi-asserted-by":"crossref","unstructured":"P. Quinton and V. Van Dongen. The mapping of linear recurrence equations on regular arrays. Journal of VLSI Signal Processing, 1, 1989.","DOI":"10.1007\/BF02477176"},{"key":"66_CR13","volume-title":"Semantics of Programming Languages","author":"R.D. Tennent","year":"1991","unstructured":"R.D. Tennent. Semantics of Programming Languages. C.A.R. Hoare. Prentice Hall Ed., Endlewood Cliffs, N.J., 1991."},{"key":"66_CR14","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1016\/0167-8191(92)90063-D","volume":"18","author":"E. Violard","year":"1992","unstructured":"E. Violard and G.-R. Perrin. Pei: a language and its refinement calculus for parallel programming. Parallel Computing, 18:1167\u20131184, 1992.","journal-title":"Parallel Computing"},{"key":"66_CR15","first-page":"500","volume":"694","author":"E. Violard","year":"1993","unstructured":"E. Violard and G.-R. Perrin. Pei: a single unifying model to design parallel programs. PARLE'93, LNCS, 694:500\u2013516, June 1993.","journal-title":"PARLE'93, LNCS"},{"key":"66_CR16","doi-asserted-by":"crossref","unstructured":"Eric Violard, St\u00e9phane Genaud, and Guy-Ren\u00e9 Perrin. Refinement of data parallel programs in Pei. IFIP TC2 Workshop on Algorithmic Languages and Calculi, Chapman & Hall, February 1997.","DOI":"10.1007\/978-0-387-35264-0_5"},{"key":"66_CR17","unstructured":"Pierre Weis and Xavier Leroy. Le langage\nCaml. Inter\u00e9ditions \u2014 iia, 1993. *** DIRECT SUPPORT *** A0008C42 00018"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:05:59Z","timestamp":1587341159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0002778","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 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"}]}}