{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:59Z","timestamp":1725487079537},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_8","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:56:07Z","timestamp":1184586967000},"page":"118-133","source":"Crossref","is-referenced-by-count":1,"title":["PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines"],"prefix":"10.1007","author":[{"given":"Nils","family":"Ellmenreich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0025876","volume-title":"Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing","author":"W. Blume","year":"1995","unstructured":"William Blume, Rudolf Eigenmann, Keith Faigin, John Grout, Jay Hoeflinger, David Padua, Paul Petersen, William Pottenger, Lawrence Rauchwerger, Peng Tu, and Stephen Weatherford. Polaris: Improving the effectiveness of parallelizing compilers. In Keshav Pingali, Uptal Banerjee, David Gelernter, Alex Nicolau, and David Padua, editors, Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, LNCS 892, pages 141\u2013154. Springer-Verlag, 1995."},{"key":"8_CR2","unstructured":"Thomas Brandes. ADAPTOR Programmer\u2019s Guide, Version 6.0, June 1998. Available via anonymous ftp from ftp:\/\/gmd.de as gmd\/adaptor\/docs\/pguide.ps ."},{"key":"8_CR3","unstructured":"Nils Ellmenreich and Christian Lengauer. Comparative Parallel Programming with PolyAPM using Abstract Parallel Machines. In Peter Knijnenburg and Paul van der Mark, editors, Proc. 10th Intl. Worksh. on Compilers for Parallel Computers (CPC 2003). Leiden Institute of Advanced Computer Science, January 2003. http:\/\/www.infosun.fmi.uni-passau.de\/cl\/papers\/EllLen03.html ."},{"key":"8_CR4","unstructured":"Ian Foster. Design and Building Parallel Programs. Addison-Wesley, 1995."},{"key":"8_CR5","unstructured":"Martin Griebl and Christian Lengauer. The loop parallelizer LooPo. In Michael Gerndt, editor, Proc. Sixth Workshop on Compilers for Parallel Computers (CPC\u201996), Konferenzen des Forschungszentrums Julich 21, pages 311\u2013320. Forschungszentrum Julich, 1996."},{"key":"8_CR6","unstructured":"Joy Goodman. Incremental Program Transformations using Abstract Parallel Machines. PhD thesis, Department of Computing Science, University of Glasgow, September 2001."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-57208-2_28","volume-title":"CONCUR\u201993","author":"C. Lengauer","year":"1993","unstructured":"Christian Lengauer. Loop parallelization in the polytope model. In Eike Best, editor, CONCUR\u201993, Lecture Notes in Computer Science 715, pages 398\u2013416. Springer-Verlag, 1993."},{"key":"8_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/BFb0002797","volume-title":"EuroPar\u201997: Parallel Processing","author":"J. O\u2019Donnell","year":"1997","unstructured":"John O\u2019Donnell and Gudula R\u00fcnger. A methodology for deriving abstract parallel programs with a family of parallel abstract machines. In Christian Lengauer, Martin Griebl, and Sergei Gorlatch, editors, EuroPar\u201997: Parallel Processing, LNCS 1300, pages 662\u2013669. Springer-Verlag, 1997."},{"key":"8_CR9","unstructured":"Constantine Polychronopoulos, Milind B. Girkar, Mohammad R. Haghighat, Chia L. Lee, Bruce P. Leung, and Dale A. Schouten. The structure of Parafrase-2: An advanced parallelizing compiler for C and Fortran. In David Gelernter, Alex Nicolau, and David Padua, editors, Languages and Compilers for Parallel Computing (LCPC\u201990), Research Monographs in Parallel and Distributed Computing, pages 423\u2013453. Pitman, 1990."},{"key":"8_CR10","unstructured":"Sven-Bodo Scholz. Single Assignment C \u2014 Functional Programming Using Imperative Style. In John Glauert, editor, Proceedings of the 6th International Workshop on the Implementation of Functional Languages. University of East Anglia, 1994."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Phil Trinder, Kevin Hammond, Jim S. Mattson Jr, Andrew Partridge, and Simon Peyton Jones. GUM: A portable parallel implementation of Haskell. In Proc. of ACM SIPGLAN Conf. on Programming Languages Design and Implementation (PLDI\u201996), pages 79\u201388. ACM Press, May 1996.","DOI":"10.1145\/231379.231392"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Robert P. Wilson, Robert S. French, Christopher S. Wilson, Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, and John L. Hennessy. SUIF: An infrastructure for research on parallelizing and optimizing compilers. In Proc. Fourth ACM SIGPLAN Symp. on Principles & Practice of Parallel Programming (PPoPP), pages 31\u201337. ACM Press, 1994. http:\/\/suif.stanford.edu\/suif\/ .","DOI":"10.1145\/193209.193217"},{"key":"8_CR13","unstructured":"Noel Winstanley. Staged Methodologies for Parallel Programming. PhD thesis, Department of Computing Science, University of Glasgow, April 2001."},{"key":"8_CR14","unstructured":"Michel Wolfe. Iteration space tiling for memory hierarchies. In G. Rodrigue, editor, Parallel Processing for Scientific Computing, pages 357\u2013361. SIAM, 1987."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:15:48Z","timestamp":1556666148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}