{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:48:39Z","timestamp":1725472119319},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457787"},{"type":"electronic","value":"9783540462354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11877028_5","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:27:39Z","timestamp":1162474059000},"page":"144-168","source":"Crossref","is-referenced-by-count":10,"title":["Program Optimizations and Transformations in Calculation Form"],"prefix":"10.1007","author":[{"given":"Zhenjiang","family":"Hu","sequence":"first","affiliation":[]},{"given":"Tetsuo","family":"Yokoyama","sequence":"additional","affiliation":[]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Jones, S.P., Hughes, J., et al (eds.): Haskell 98: A Non-strict, Purely Functional Language (1999), Available online: http:\/\/www.haskell.org"},{"key":"5_CR2","volume-title":"Introduction to Functional Programming using Haskell","author":"R. Bird","year":"1998","unstructured":"Bird, R.: Introduction to Functional Programming using Haskell. Prentice Hall, Englewood Cliffs (1998)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-15975-4_34","volume-title":"Functional Programming Languages and Computer Architecture","author":"J. Hughes","year":"1985","unstructured":"Hughes, J.: Lazy memo-functions. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 129\u2013149. Springer, Heidelberg (1985)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. Burstall","year":"1977","unstructured":"Burstall, R., Darlington, J.: A transformation system for developing recursive programs. Journal of the ACM\u00a024, 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"key":"5_CR5","first-page":"165","volume-title":"TC2 IFIP Working Conference on Program Specification and Transformation","author":"M. Feather","year":"1987","unstructured":"Feather, M.: A survey and classification of some program transformation techniques. In: TC2 IFIP Working Conference on Program Specification and Transformation, Bad Tolz, Germany, pp. 165\u2013195. North-Holland, Amsterdam (1987)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(81)90014-X","volume":"16","author":"J. Darlington","year":"1981","unstructured":"Darlington, J.: An experimental program transformation system. Artificial Intelligence\u00a016, 1\u201346 (1981)","journal-title":"Artificial Intelligence"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-642-87374-4_1","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"R. Bird","year":"1987","unstructured":"Bird, R.: An introduction to the theory of lists. In: Broy, M. (ed.) Logic of Programming and Calculi of Discrete Design, pp. 5\u201342. Springer, Heidelberg (1987)"},{"key":"5_CR8","unstructured":"Backhouse, R.: An exploration of the Bird-Meertens formalism. In: STOP Summer School on Constructive Algorithmics, Ameland (1989)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"},{"key":"5_CR10","unstructured":"Fokkinga, M.: A gentle introduction to category theory \u2014 the calculational approach \u2014 Technical Report Lecture Notes, Dept.\u00a0INF, University of Twente, The Netherlands (1992)"},{"key":"5_CR11","unstructured":"Jeuring, J.: Theories for Algorithm Calculation. Ph.D thesis, Faculty of Science, Utrecht University (1993)"},{"key":"5_CR12","volume-title":"Algebras of Programming","author":"R. Bird","year":"1996","unstructured":"Bird, R., de Moor, O.: Algebras of Programming. Prentice Hall, Englewood Cliffs (1996)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/232627.232637","volume-title":"ACM SIGPLAN International Conference on Functional Programming","author":"Z. Hu","year":"1996","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M.: Deriving structural hylomorphisms from recursive definitions. In: ACM SIGPLAN International Conference on Functional Programming, Philadelphia, PA, pp. 73\u201382. ACM Press, New York (1996)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/258948.258964","volume-title":"ACM SIGPLAN International Conference on Functional Programming","author":"Z. Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M., Takano, A.: Tupling calculation eliminates multiple data traversals. In: ACM SIGPLAN International Conference on Functional Programming, Amsterdam, The Netherlands, pp. 164\u2013175. ACM Press, New York (1997)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hu, Z., Takeichi, M., Chin, W.: Parallelization in calculational forms. In: 25th ACM Symposium on Principles of Programming Languages, San Diego, California, USA, pp. 316\u2013328 (1998)","DOI":"10.1145\/268946.268972"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF03037434","volume":"17","author":"Z. Hu","year":"1999","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M.: Calculating accumulations. New Generation Computing\u00a017, 153\u2013173 (1999)","journal-title":"New Generation Computing"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.ipl.2003.12.008","volume":"89","author":"T. Yokoyama","year":"2004","unstructured":"Yokoyama, T., Hu, Z., Takeichi, M.: Deterministic second-order patterns. Information Processing Letters\u00a089, 309\u2013314 (2004)","journal-title":"Information Processing Letters"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Malcolm, G.: Data structures and program transformation. Science of Computer Programming, 255\u2013279 (1990)","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"Pettorossi, A., Proiett, M.: Rules and strategies for transforming functional and logic programs. Computing Surveys\u00a028, 360\u2013414 (1996)","journal-title":"Computing Surveys"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(00)00402-3","volume":"269","author":"O. Moor de","year":"2001","unstructured":"de Moor, O., Sittampalam, G.: Higher-order matching for program transformation. Theor. Comput. Sci.\u00a0269, 135\u2013162 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Paige, R.: Stream processing. In: LISP and Functional Programming, pp. 53\u201362 (1984)","DOI":"10.1145\/800055.802021"},{"key":"5_CR22","volume-title":"Compilers \u2013 Principles, Techniqies and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers \u2013 Principles, Techniqies and Tools. Addison-Wesley, Reading (1986)"},{"key":"5_CR23","first-page":"119","volume-title":"Proc.\u00a0Conference on Partial Evaluation and Program Manipulation","author":"W. Chin","year":"1993","unstructured":"Chin, W.: Towards an automated tupling strategy. In: Proc.\u00a0Conference on Partial Evaluation and Program Manipulation, Copenhagen, pp. 119\u2013132. ACM Press, New York (1993)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Gill, A., Launchbury, J., Jones, S.P.: A short cut to deforestation. In: Proc.\u00a0Conference on Functional Programming Languages and Computer Architecture, Copenhagen, pp. 223\u2013232 (1993)","DOI":"10.1145\/165180.165214"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Takano, A., Meijer, E.: Shortcut deforestation in calculational form. In: Proc.\u00a0Conference on Functional Programming Languages and Computer Architecture, La Jolla, California, pp. 306\u2013313 (1995)","DOI":"10.1145\/224164.224221"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-0-387-35264-0_4","volume-title":"IFIP TC 2 Working Conference on Algorithmic Languages and Calculi","author":"Y. Onoue","year":"1997","unstructured":"Onoue, Y., Hu, Z., Iwasaki, H., Takeichi, M.: A calculational fusion system HYLO. In: IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, pp. 76\u2013106. Chapman & Hall, Boca Raton (1997)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/5.214548","volume":"81","author":"U. Banerjee","year":"1993","unstructured":"Banerjee, U., Eigenmann, R., Nicolau, A., Padua, D.A.: Automatic program parallelization. Proceedings of the IEEE\u00a081, 211\u2013243 (1993)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR28","unstructured":"Cole, M.: Parallel programming, list homomorphisms and the maximum segment sum problems. Report CSR-25-93, Department of Computing Science, The University of Edinburgh (1993)"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/256167.256201","volume":"19","author":"Z. Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M.: Formal derivation of efficient parallel programs by construction of list homomorphisms. ACM Transactions on Programming Languages and Systems\u00a019, 444\u2013461 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526626","volume-title":"Foundations of Parallel Programming","author":"D. Skillicorn","year":"1994","unstructured":"Skillicorn, D.: Foundations of Parallel Programming. Cambridge University Press, Cambridge (1994)"},{"key":"5_CR31","unstructured":"Gorlatch, S.: Constructing list homomorphisms. Technical Report MIP-9512, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1995)"},{"key":"5_CR32","volume-title":"IEEE Computer Society International Conference on Computer Languages","author":"W. Chin","year":"1998","unstructured":"Chin, W., Takano, A., Hu, Z.: Parallelization via context preservation. In: IEEE Computer Society International Conference on Computer Languages. Loyola University Chicago, Chicago (1998)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-30477-7_14","volume-title":"Programming Languages and Systems","author":"D.N. Xu","year":"2004","unstructured":"Xu, D.N., Khoo, S.C., Hu, Z.: Ptype system: A featherweight parallelizability detector. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 197\u2013212. Springer, Heidelberg (2004)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Sheard, T., Peyton Jones, S.L.: Template metaprogramming for Haskell. In: Haskell Workshop, Pittsburgh, Pennsylvania, pp. 1\u201316 (2002)","DOI":"10.1145\/581690.581691"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-25938-1_12","volume-title":"Logic Based Program Synthesis and Transformation","author":"T. Yokoyama","year":"2004","unstructured":"Yokoyama, T., Hu, Z., Takeichi, M.: Deterministic second-order patterns and its application to program transformation. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 128\u2013142. Springer, Heidelberg (2004)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Sheard, T., Fegaras, L.: A fold for all seasons. In: Proc.\u00a0Conference on Functional Programming Languages and Computer Architecture, Copenhagen, pp. 233\u2013242 (1993)","DOI":"10.1145\/165180.165216"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11877028_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:49:37Z","timestamp":1605642577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11877028_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457787","9783540462354"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11877028_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}