{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:15Z","timestamp":1725664035985},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540574996"},{"type":"electronic","value":"9783540481973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57499-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:01:36Z","timestamp":1330261296000},"page":"62-88","source":"Crossref","is-referenced-by-count":1,"title":["Practical transformation of functional programs for efficient execution: A case study"],"prefix":"10.1007","author":[{"given":"James M.","family":"Boyle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terence J.","family":"Harmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"4_CR1","volume-title":"Introduction to Functional Programming","author":"R. Bird","year":"1988","unstructured":"Bird, R., Wadler, P.: Introduction to Functional Programming. Prentice-Hall International, New York, 1988"},{"key":"4_CR2","volume-title":"Technical report ANL-7690","author":"J. M. Boyle","year":"1970","unstructured":"Boyle, J. M.: A transformational component for programming language grammar. Technical report ANL-7690, Argonne National Laboratory, Argonne, Ill., July 1970"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1145\/73103.73118","volume-title":"Software Reusability, Volume I","author":"J. M. Boyle","year":"1989","unstructured":"Boyle, J. M.: Abstract programming and program transformations-An approach to reusing programs. In Software Reusability, Volume I, T. J. Biggerstaff and A. J. Perlis (eds.), ACM Press (Addison-Wesley Publishing Company), New York, 1989, 361\u2013413"},{"key":"4_CR4","first-page":"3","volume-title":"Practice in Software Adaptation and Maintenance","author":"J. M. Boyle","year":"1980","unstructured":"Boyle, J. M.: Program adaptation and program transformation. In Practice in Software Adaptation and Maintenance, R. Ebert, J. Lueger, and L. Goecke (eds.), North-Holland Publishing Co., Amsterdam, 1980, 3\u201320"},{"key":"4_CR5","series-title":"LNCS 634","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1007\/3-540-55895-0_481","volume-title":"Parallel Processing: CONPAR 92\u2014VAPP V","author":"J. M. Boyle","year":"1992","unstructured":"Boyle, J. M., Clint, M., Fitzpatrick, S., and Harmer, T. J.: The construction of numerical mathematical software for the AMT DAP by program transformation. In Parallel Processing: CONPAR 92\u2014VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France 1\u20134 September 1992, Ed. L. Boug\u00e9, M. Cosnard, Y. Robert, and D. Trystan, LNCS 634, Springer-Verlag, Berlin, 1992, 761\u2013767."},{"key":"4_CR6","first-page":"205","volume-title":"Constructing Programs from Specifications","author":"J. M. Boyle","year":"1991","unstructured":"Boyle, J. M., Harmer, T. J.: Functional specifications for mathematical computations. In Constructing Programs from Specifications, B. M\u00f6ller (ed.), North-Holland Publishing Co., Amsterdam, 1991, 205\u2013224"},{"issue":"1","key":"4_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0956796800000289","volume":"2","author":"J. M. Boyle","year":"1992","unstructured":"Boyle, J. M., Harmer, T. J.: A practical functional program for the CRAY X-MP. Journal of Functional Programming, 2(1) (Jan. 1992) 81\u2013126","journal-title":"Journal of Functional Programming"},{"issue":"5","key":"4_CR8","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSE.1984.5010281","volume":"SE-10","author":"J. M. Boyle","year":"1984","unstructured":"Boyle, J. M., Muralidharan, M. N.: Program reusability through program transformation. IEEE Transactions on Software Engineering SE-10(5) (Sept. 1984) 574\u2013588","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/52.16906","volume":"6","author":"F. W. Burton","year":"1989","unstructured":"Burton, F. W., Kollias, J. (Yannis) G.: Functional programming with quadtrees. IEEE Software 6 (Jan. 1989) 90\u201397","journal-title":"IEEE Software"},{"key":"4_CR10","volume-title":"The Calculi of Lambda Conversion","author":"A. Church","year":"1941","unstructured":"Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton, N.J., 1941"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/32.21745","volume":"15","author":"M. S. Feather","year":"1989","unstructured":"Feather, M. S.: Constructing specifications by combining parallel elaborations. Journal of IEEE Transactions on Software Engineering 15(2) (Feb. 1989) 198\u2013208","journal-title":"Journal of IEEE Transactions on Software Engineering"},{"key":"4_CR12","volume-title":"Functional Programming","author":"A. J. Field","year":"1988","unstructured":"Field, A. J., Harrison, P. G.: Functional Programming. Addison-Wesley Publishing Co., Wokingham, England, 1988"},{"key":"4_CR13","volume-title":"The Little LISPer","author":"D. P. Friedman","year":"1986","unstructured":"Friedman, D. P., Felleisen, M.: The Little LISPer. Science Research Associates, Inc., Chicago, Ill., 1986"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0167-8191(90)90067-J","volume":"16","author":"M. Garbey","year":"1990","unstructured":"Garbey, M., Levine, D.: Massively parallel computation of conservation laws. Journal of Parallel Computing 16 (1990) 293\u2013304","journal-title":"Journal of Parallel Computing"},{"key":"4_CR15","volume-title":"Functional Programming for Loosely-Coupled Multiprocessors","author":"P. Kelly","year":"1989","unstructured":"Kelly, P.: Functional Programming for Loosely-Coupled Multiprocessors. Pitman Publishing\/MIT Press, London\/Cambridge, Mass., 1989"},{"key":"4_CR16","volume-title":"Theory and Applications of Cellular Automata","author":"S. Wolfram","year":"1986","unstructured":"Wolfram, S.: Theory and Applications of Cellular Automata. World Scientific, Singapore, 1986"}],"container-title":["Lecture Notes in Computer Science","Formal Program Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57499-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:05:31Z","timestamp":1619571931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57499-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574996","9783540481973"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57499-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}