{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:28Z","timestamp":1725663448847},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:40:07Z","timestamp":1330177207000},"page":"223-236","source":"Crossref","is-referenced-by-count":2,"title":["Parallelization by semantic detection of reductions"],"prefix":"10.1007","author":[{"given":"P.","family":"Jouvelot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"17_CR1","unstructured":"Abelson and Sussman, Structure and Interpretation of Computer Programs, MIT Press (1985)."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren, \u201cConversion of Control Dependence to Data Dependence,\u201d POPL83, ACM (1983).","DOI":"10.1145\/567067.567085"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/PGEC.1966.264565","volume":"15","author":"A. J. Bernstein","year":"1966","unstructured":"A. J. Bernstein, \u201cAnalysis of Programs for Parallel Processing,\u201d IEEE Trans. on Elec. Comp. 15, pp.757\u2013763 (October 1966).","journal-title":"IEEE Trans. on Elec. Comp."},{"key":"17_CR4","unstructured":"G. Cousineau, \u201cThe ML Handbook,\u201d (draft INRIA) (Mai 1985)."},{"key":"17_CR5","unstructured":"P. Cousot, Methodes Iteratives de Construction de Points Fixes d'Operateurs Monotones sur un Treillis, Analyse Semantique des Programmes, U.S.M.G, Grenoble (1978)."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"R. B. Dannenberg and G. W. Ernst, \u201cFormal Program Verification Using Symbolic Execution,\u201d IEEE Trans.on Soft.Eng. 8 (Janvier 1982).","DOI":"10.1109\/TSE.1982.234773"},{"key":"17_CR7","unstructured":"V. Donzeau-Gouge, \u201cUtilisation de la semantique denotationelle pour l'etude d'interpretations non-standard,\u201d Rapport de Recherche 273, INRIA (Janvier 1978)."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"M. J. C. Gordon, The Denotational Description of Programming Languages, Springer-Verlag (1979).","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"M. J. C. Gordon and R. Milner, Edinburgh LCF, Springer-Verlag (1979).","DOI":"10.1007\/3-540-09724-4"},{"key":"17_CR10","unstructured":"Hillis, The Connection Machine, MIT Press (1985)."},{"key":"17_CR11","unstructured":"P. Jouvelot, Evaluation semantique des Conditions de Bernstein, MASI (Mars 1985)."},{"key":"17_CR12","unstructured":"P. Jouvelot, ML: Un Langage de Maquettage ?, AFCET (Octobre 1985)."},{"key":"17_CR13","unstructured":"D. J. Kuck and D. A. Padua, High-Speed Multiprocessors and their Compilers, IEEE (1979)."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"K. McIsaac, \u201cPattern Matching Algebraic Identities,\u201d SIGSAM Bull. 19 (Mai 1985).","DOI":"10.1145\/1089402.1089403"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"F. Nielson, \u201cProgram Transformations in a Denotational Setting,\u201d TOPLAS, ACM (Juillet 1985).","DOI":"10.1145\/3916.3917"},{"key":"17_CR16","unstructured":"J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press (1977)."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"N. Suzuki and D. Jefferson, Verification Decidability of Presburger Array Programs, 1977.","DOI":"10.21236\/ADA043451"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"R. D. Tennent, \u201cThe Denotational Semantics of Programming Languages,\u201d CACM 19 (Aout 1976).","DOI":"10.1145\/360303.360308"},{"key":"17_CR19","unstructured":"J. D. Ullman, Computational Aspects of VLSI, Computer Science Press (1984)."}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:03Z","timestamp":1605625803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}