{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:28:35Z","timestamp":1790936915730,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540634591","type":"print"},{"value":"9783540695554","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027002","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:34:01Z","timestamp":1132396441000},"page":"46-60","source":"Crossref","is-referenced-by-count":4,"title":["Parallelizing functional programs by generalization"],"prefix":"10.1007","author":[{"given":"Alfons","family":"Geser","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergei","family":"Gorlatch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"4_CR1","unstructured":"Leo Bachmair. Canonical Equational Proofs. Research Notes in Theoretical Computer Science. Wiley and Sons, 1989."},{"key":"4_CR2","first-page":"131","volume":"43","author":"D. Barnard","year":"1991","unstructured":"D. Barnard, J. Schmeiser, and D. Skillicorn. Deriving associative operators for language recognition. Bulletin of EATCS, 43:131\u2013139, 1991.","journal-title":"Bulletin of EATCS"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"R. S. 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\u2013216. Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-74884-4_5"},{"issue":"11","key":"4_CR4","doi-asserted-by":"crossref","first-page":"1526","DOI":"10.1109\/12.42122","volume":"38","author":"G. Blelloch","year":"1989","unstructured":"G. Blelloch. Scans as primitive parallel operations. IEEE Trans. on Computers, 38(11):1526\u20131538, November 1989.","journal-title":"IEEE Trans. on Computers"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1006\/inco.1994.1043","volume":"111","author":"H. Comon","year":"1994","unstructured":"Hubert Comon, Marianne Haberstrau, and Jean-Pierre Jouannaud. Syntacticness, cycle-syntacticness, and shallow theories. Inform. and Computation, 111:154\u2013191, 1994.","journal-title":"Inform. and Computation"},{"key":"4_CR6","volume-title":"The Unified Computation Laboratory \u2014 Unifying Frameworks, Theories and Tools","author":"U. Frans","year":"1992","unstructured":"Ulrich Frans and Heinrich Hu\\mann. Term induction proofs by a generalization of narrowing. In C. Rattray and R. G. Clark, editors, The Unified Computation Laboratory \u2014 Unifying Frameworks, Theories and Tools, Oxford, UK, 1992. Clarendon Press."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. Geser and S. Gorlatch. Parallelizing functional programs by term rewriting. Technical Report MIP-9709, Universit\u00e4t Passau, April 1997. Available from http:\/\/brahms.fmi.uni-passau.de\/cl\/papers\/GesGor97a.html.","DOI":"10.1007\/BFb0027002"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Alfons Geser. Mechanized inductive proof of properties of a simple code optimizer. In Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach, editors, Proc. 6th Theory and Practice in Software Development (TAPSOFT), LNCS 915, pages 605\u2013619. Springer, 1995.","DOI":"10.1007\/3-540-59293-8_223"},{"issue":"4","key":"4_CR9","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1017\/S0956796800001908","volume":"6","author":"J. Gibbons","year":"1996","unstructured":"J. Gibbons. The third homomorphism theorem. J. Fun. Programming, 6(4):657\u2013665, 1996.","journal-title":"J. Fun. Programming"},{"key":"4_CR10","unstructured":"S. Gorlatch. Constructing list homomorphisms. Technical Report MIP-9512, Universit\u00e4t Passau, August 1995."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"S. Gorlatch. Systematic efficient parallelization of scan and other list homomorphisms. In L. Bouge, P. Fraigniaud, A. Mignotte, and Y. Robert, editors, EuroPar'96. Parallel Processing, Lecture Notes in Computer Science 1124, pages 401\u2013408. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0024729"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"S. Gorlatch. Systematic extraction and implementation of divide-and-conquer parallelism. In H. Kuchen and D. Swierstra, editors, Programming languages: Implementation, Logics and Programs, Lecture Notes in Computer Science 1140, pages 274\u2013288. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61756-6_91"},{"key":"4_CR13","unstructured":"S. Gorlatch and H. Bischof. Formal derivation of divide-and-conquer programs: A case study in the multidimensional FFT's. In D. Mery, editor, Formal Methods for Parallel Programming: Theory and Applications. Workshop at IPPS'97, pages 80\u201394, 1997."},{"key":"4_CR14","unstructured":"B. Heinz. Lemma discovery by anti-unification of regular sorts. Technical Report 94-21, TU Berlin, May 1994."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Jean-Pierre Jouannaud. Syntactic theories. In B. Rovan, editor, Mathematical Foundations of Computer Science, pages 15\u201325, Bansk\u00e1 Bystrica, 1990. LNCS 452.","DOI":"10.1007\/BFb0029593"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Steffen Lange. Towards a set of inference rules for solving divergence in Knuth-Bendix completion. In Klaus P. Jantke, editor, Proc. Analogical and Inductive Inference, pages 305\u2013316. LNCS 397, 1989.","DOI":"10.1007\/3-540-51734-0_70"},{"issue":"3","key":"4_CR17","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1142\/S0129626494000302","volume":"4","author":"J. O'Donnell","year":"1994","unstructured":"J. O'Donnell. A correctness proof of parallel scan. Parallel Processing Letters, 4(3):329\u2013338, 1994.","journal-title":"Parallel Processing Letters"},{"key":"4_CR18","series-title":"Technical Report Memo MIP-R-77","volume-title":"Lattice-theoretic properties of subsumption","author":"G. D. Plotkin","year":"1970","unstructured":"Gordon D. Plotkin. Lattice-theoretic properties of subsumption. Technical Report Memo MIP-R-77, Univ. Edinburgh, UK, 1970."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"D. Skillicorn. Foundations of Parallel Programming. Cambridge Univ. Press, 1994.","DOI":"10.1017\/CBO9780511526626"},{"issue":"1","key":"4_CR20","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(93)90241-K","volume":"112","author":"M. Thomas","year":"1993","unstructured":"Muffy Thomas and Phil Watson. Solving divergence in Knuth-Bendix completion by enriching signatures. Theoretical Computer Science, 112(1):145\u2013185, 1993.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:23Z","timestamp":1586570063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634591","9783540695554"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0027002","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}