{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T08:47:42Z","timestamp":1794386862091,"version":"4.9.0"},"publisher-location":"London","reference-count":27,"publisher":"Springer London","isbn-type":[{"value":"9781852335069","type":"print"},{"value":"9781447100973","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-1-4471-0097-3_1","type":"book-chapter","created":{"date-parts":[[2011,4,22]],"date-time":"2011-04-22T22:53:31Z","timestamp":1303512811000},"page":"1-27","source":"Crossref","is-referenced-by-count":5,"title":["Foundations of Data-parallel Skeletons"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Fischer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergei","family":"Gorlatch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Bischof","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"28","volume":"1608","author":"R Backhouse","year":"1999","unstructured":"R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In LNCS, volume 1608, pages 28-115. Springer-Verlag, 1999.","journal-title":"In LNCS"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0022-4049(92)90169-G","volume":"82","author":"M Barr","year":"1992","unstructured":"M. Barr. Algebraically compact functors. Journal of Pure and Applied Algebra, 82:211-231, 1992.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1145\/358234.381162","volume":"27","author":"J Bentley","year":"1984","unstructured":"J. Bentley. Programming pearls. Comm. ACM, 27:865-871, 1984.","journal-title":"Comm. ACM"},{"key":"1_CR4","first-page":"151","volume-title":"Constructive Methods in Computing Science, NATO ASI Series F","author":"R Bird","year":"1988","unstructured":"R. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, NATO ASI Series F: Computer and Systems Sciences. Vol. 55, pages 151-216. Springer-Verlag? 1988."},{"key":"1_CR5","unstructured":"T. Bonk. Ein rekursiver Algorithmus zur adaptiven numerischen Quadratur mehrdimensionaler Funktionen. PhD thesis, Technische Universit\u00e4t M\u00fcnchen, 1994."},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"25","author":"R Burstall","year":"1977","unstructured":"R. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 25(1):44-67, 1977.","journal-title":"J. ACM"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1142\/S0129626495000163","volume":"5","author":"W Cai","year":"1995","unstructured":"W. Cai and D. Skillicorn. Calculating recurrences using the Bird-Meertens formalism. Parallel Processing Letters, 5(2):179-190, 1995.","journal-title":"Parallel Processing Letters"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1142\/S0129626495000175","volume":"5","author":"M Cole","year":"1994","unstructured":"M. Cole. Parallel programming with list homomorphisms. Parallel Processing Letters, 5(2):191-204, 1994.","journal-title":"Parallel Processing Letters"},{"key":"1_CR9","unstructured":"M. I. Cole. Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation. Pitman, 1989."},{"key":"1_CR10","volume-title":"Law and Order in Algorithmics","author":"MM Fokkinga","year":"1992","unstructured":"M. M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, Dept INF, Enschede, The Netherlands, 1992."},{"key":"1_CR11","volume-title":"Term induction proofs by a generalization of narrowing","author":"U Fraus","year":"1992","unstructured":"U. Fraus and H. Hu\u00dfmann. Term induction proofs by a generalization of narrowing. In C. Rattray and R. G. Clark, editors, The Unified Computation Laboratory: Unifying Frameworks, Theories and Tools. Clarendon, 1992."},{"key":"1_CR12","volume-title":"Remarks on algebraically compact categories","author":"PJ Freyd","year":"1992","unstructured":"P. J. Freyd. Remarks on algebraically compact categories. In M. P. Four-man, P. T. Johnstone, and A. M. Pitts, editors, Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham, 1991, number 177 in LMS Lecture Notes. Cambridge University Press, 1992."},{"key":"1_CR13","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison Wesley, 1995."},{"issue":"6","key":"1_CR14","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1017\/S0956796899003536","volume":"9","author":"A Geser","year":"1999","unstructured":"A. Geser and S. Gorlatch. Parallelizing functional programs by generalization. J. Functional Programming, 9(6):649-673, 1999.","journal-title":"J.Functional Programming"},{"key":"1_CR15","unstructured":"J. Gibbons. The third homomorphism theorem. Technical report, U. Auckland, 1994."},{"key":"1_CR16","volume-title":"Optimizing compositions of scans and reductions in parallel program derivationTechnical Report MIP-9711","author":"S Gorlatch","year":"1997","unstructured":"S. Gorlatch. Optimizing compositions of scans and reductions in parallel program derivation. Technical Report MIP-9711, Universit\u00e4t Passau, May 1997. Available at http:\/\/www.fmi.uni-passau.de\/cI\/papers\/Gor97b.html ."},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(97)00014-2","volume":"33","author":"S Gorlatch","year":"1998","unstructured":"S. Gorlatch. Extracting and implementing list homomorphisms in parallel program development. Science of Computer Programming, 33(1):1-27, 1998.","journal-title":"Science of Computer Programming"},{"issue":"6","key":"1_CR18","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1007\/BF01211000","volume":"7","author":"S Gorlatch","year":"1995","unstructured":"S. Gorlatch and C. Lengauer. Parallelisation of divide-and-conquer in the Bird-Meertens formalism. Formal Aspects of Computing, 7(6):663-682, 1995.","journal-title":"Formal Aspects of Computing"},{"issue":"9","key":"1_CR19","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/s002360050174","volume":"36","author":"S Gorlatch","year":"2000","unstructured":"S. Gorlatch and C. Lengauer. Abstraction and performance in the design of parallel programs\u2022 overview of the SAT approach. Acta Informatica, 36(9):761-803, 2000.","journal-title":"Acta Informatica"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1142\/S0129626496000285","volume":"6","author":"P Harrison","year":"1996.","unstructured":"Z. Grant-Duff and P. Harrison. Parallelism via homomorphisms. Parallel Processing Letters, 6(2):279-295, 1996.","journal-title":"Parallel Processing Letters"},{"key":"1_CR21","volume-title":"Lemma discovery by anti-unification of regular sorts","author":"B Heinz","year":"1994","unstructured":"[21] B. Heinz. Lemma discovery by anti-unification of regular sorts. Technical Report 94-21, TU Berlin, May 1994."},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1142\/S0129626494000302","volume":"4","author":"J O\u2019Donnell","year":"1994","unstructured":"J. O'Donnell. A correctness proof of parallel scan. Parallel Processing Letters, 4(3):329-338, 1994.","journal-title":"Parallel Processing Letters"},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H Reichel","year":"1995","unstructured":"H. Reichel. An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science, 5(2):129-152, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526626","volume-title":"Foundations of Parallel Programming","author":"DB Skillicorn","year":"1994","unstructured":"D. B. Skillicorn. Foundations of Parallel Programming. Cambridge International Series on Parallel Computation. Cambridge University Press, 1994."},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0167-6423(87)90034-7","volume":"8","author":"D Smith","year":"1987","unstructured":"[25] D. Smith. Applications of a strategy for designing divide-and-conquer algorithms. Science of Computer Programming, 8(3):213-229, 1987.","journal-title":"Science of Computer Programming"},{"key":"1_CR26","first-page":"355","volume-title":"Virtual data structuresFormal Program Development","author":"D Swierstra","year":"1993","unstructured":"D. Swierstra and O. de Moor. Virtual data structures. In B. M\u00f6ller, H. Partsch, and S. Schuman, editors, Formal Program Development, Lecture Notes in Computer Science 755, pages 355-371. Springer-Verlag, 1993."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"C. Szyperski. Component software: beyond object-oriented programming. Addison Wesley, 1998.","DOI":"10.1007\/3-540-46589-8_10"}],"container-title":["Patterns and Skeletons for Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0097-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T01:28:02Z","timestamp":1741138082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0097-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9781852335069","9781447100973"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0097-3_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-4471-0097-3","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2003]]}}}