{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:03Z","timestamp":1725664443112},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_219","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:26Z","timestamp":1330258346000},"page":"546-560","source":"Crossref","is-referenced-by-count":3,"title":["Calculating software generators from solution specifications"],"prefix":"10.1007","author":[{"given":"Richard B.","family":"Kieburtz","sequence":"first","affiliation":[]},{"given":"Francoise","family":"Bellegarde","sequence":"additional","affiliation":[]},{"given":"Jef","family":"Bell","sequence":"additional","affiliation":[]},{"given":"James","family":"Hook","sequence":"additional","affiliation":[]},{"given":"Jeffrey","family":"Lewis","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Oliva","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Sheard","sequence":"additional","affiliation":[]},{"given":"Lisa","family":"Walton","sequence":"additional","affiliation":[]},{"given":"Tong","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"36_CR1","unstructured":"J. M. Bell and J. Hook. Defunctionalization of typed programs. Technical report, Department of Computer Science and Engineering, Oregon Graduate Institute, Feb. 1994."},{"key":"36_CR2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-53904-2_99","volume-title":"Proceedings of the fourth conference on Rewriting Techniques and Applications, vol. 488 of LNCS","author":"F. Bellegarde","year":"1991","unstructured":"F. Bellegarde. Program transformation and rewriting. In Proceedings of the fourth conference on Rewriting Techniques and Applications, vol. 488 of LNCS, pages 226\u2013239, Berlin, 1991. Springer-Verlag."},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"F. Bellegarde. A transformation system combining partial evaluation with term rewriting. In Higher Order Algebra, Logic and Term Rewriting (HOA '93), vol. 816 of Lecture Notes in Computer Science, pages 40\u201358. Springer-Verlag, Sept. 1993.","DOI":"10.1007\/3-540-58233-9_3"},{"key":"36_CR4","unstructured":"F. Bellegarde. Termination issues in automated syntheses. Submitted to RTA95, Sept. 1994."},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"R. S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, vol. 36 of NATO Series F. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"36_CR6","unstructured":"W. Burge. Recursive Programming Techniques. Addison-Wesley, 1975."},{"key":"36_CR7","unstructured":"W. Chin and J. Darlington. Higher-order removal: A modular approach. Unpublished work, 1993."},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"W.-N. Chin. Safe fusion of functional expressions. In Proc. of 1992 ACM Conf. on Lisp and Functional Programming, pages 11\u201320, June 1992.","DOI":"10.1145\/141471.141494"},{"issue":"1","key":"36_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00263742","volume":"6","author":"J. Darlington","year":"1976","unstructured":"J. Darlington and R. Burstall. A system which automatically improves programs. Acta Informatica, 6(1):41\u201360, 1976.","journal-title":"Acta Informatica"},{"key":"36_CR10","unstructured":"N. Dershowitz. Synthesis by completion. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 208\u2013214, Los Angeles, 1985."},{"key":"36_CR11","volume-title":"Resolution of Equations in Algebraic Structures","author":"N. Dershowitz","year":"1988","unstructured":"N. Dershowitz. Completion and its applications. In Resolution of Equations in Algebraic Structures. Academic Press, New York, 1988."},{"key":"36_CR12","volume-title":"PhD thesis","author":"M. M. Fokkinga","year":"1992","unstructured":"M. M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, Twente, The Netherlands, Feb. 1992."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda lifting: transforming programs to recursive equations. In J.-P. Jouannaud, editor, Functiona Programming Languages and Computer Architecture, vol. 201 of Lecture Notes in Computer Science, pages 190\u2013203. Springer Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"36_CR14","unstructured":"R. B. Kieburtz and J. Lewis. Algebraic Design Language-Preliminary definition. Technical report, Pacific Software Research Center, Oregon Graduate Institute of Science & Technology, Jan. 1994."},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"G. Malcolm. Homomorphisms and promotability. In J. L. A. van de Snepscheut, editor, Mathematics of Program Construction, vol. 375 of Lecture Notes in Computer Science, pages 335\u2013347. Springer-Verlag, June 1989.","DOI":"10.1007\/3-540-51305-1_20"},{"key":"36_CR16","unstructured":"L. Meertens. Algorithmics-towards programming as a mathematical activity. In Proc. of the CWI Symbposium on Mathematics and Computer Science, pages 289\u2013334. North-Holland, 1986."},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proc. of 5th ACM Conf. on Functional Programming Languages and Computer Architecture, vol. 523 of Lecture Notes in Computer Science, pages 124\u2013144. Springer-Verlag, Aug. 1991.","DOI":"10.1007\/3540543961_7"},{"key":"36_CR18","volume-title":"The Definition of Standard ML.","author":"R. Milner","year":"1990","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990."},{"key":"36_CR19","unstructured":"P. D. Mosses. Sis-semantics implementation system: reference manual and user guide. Technical Report DAIMI MD-30, Computer Science Department, University of Aarhus, 1979."},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds. Definitional interpreters for higher-order programming languages. In ACM National Conference, pages 717\u2013740. ACM, 1972.","DOI":"10.1145\/800194.805852"},{"key":"36_CR21","unstructured":"T. Sheard. Optimizing algebraic programs. Technical Report OGI-CSE-94-004, Oregon Graduate Institute of Science & Technology, Jan. 1994."},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"T. Sheard and L. Fegaras. A fold for all seasons. In Proceedings of the conference on Functional Programming and Computer Architecture, Copenhagen, June 1993.","DOI":"10.1145\/165180.165216"},{"key":"36_CR23","unstructured":"D. Volpano and R. B. Kieburtz. Software templates. In Proceedings Eighth International Conference on Software Engineering, pages 55\u201360. IEEE Computer Society, Aug. 1985."},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"D. Volpano and R. B. Kieburtz. The templates approach to software reuse. In T. J. Biggersstaff and A. J. Perlis, editors, Software Reusability, pages 247\u2013255. ACM Press, 1989.","DOI":"10.1145\/73103.73112"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"P. Wadler. Deforestation: Transforming programs to eliminate trees. In 2nd European Symposium on Programming ESOP'88, vol. 300 of LNCS. pages 344\u2013358, Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19027-9_23"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_219.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:04Z","timestamp":1619558824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_219","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}