{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:16Z","timestamp":1725487996765},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425588"},{"type":"electronic","value":"9783540448068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44806-3_7","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T18:21:36Z","timestamp":1184955696000},"page":"108-125","source":"Crossref","is-referenced-by-count":0,"title":["A Unifying Approach to Goal-Directed Evaluation"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Grobauer","sequence":"additional","affiliation":[]},{"given":"Morten","family":"Rhiger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"key":"7_CR1","volume-title":"Compiling with Continuations","author":"A. W. Appel","year":"1992","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, New York, 1992."},{"key":"7_CR2","unstructured":"Lawrence Byrd. Understanding the control of Prolog programs. Technical Report 151, University of Edinburgh, 1980."},{"issue":"4","key":"7_CR3","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF03037326","volume":"2","author":"M. Carlsson","year":"1984","unstructured":"Mats Carlsson. On implementing Prolog in functional programming. New Generation Computing, 2(4):347\u2013359, 1984.","journal-title":"New Generation Computing"},{"key":"7_CR4","unstructured":"Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, 1941."},{"key":"7_CR5","first-page":"493","volume-title":"Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages","author":"C. Consel","year":"1993","unstructured":"Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Susan L. Graham, editor, Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, pages 493\u2013501, Charleston, South Carolina, January 1993. ACM Press."},{"key":"7_CR6","first-page":"145","volume-title":"Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages","author":"C. Consel","year":"1996","unstructured":"Charles Consel and Fran\u00c7ois No\u0451l. A general approach for run-time specialization and its application to C. In Guy L. Steele, editor, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 145\u2013156, St. Petersburg Beach, Florida, January 1996. ACM Press."},{"key":"7_CR7","series-title":"SIGPLAN Notices","volume-title":"Proceedings of the ACM SIGPLAN'97 Conference on Programming Languages Design and Implementation","year":"1997","unstructured":"Ron K. Cytron, editor. Proceedings of the ACM SIGPLAN'97 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 32, No 5, Las Vegas, Nevada, June 1997. ACM Press."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","first-page":"367","volume-title":"Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School","author":"O. Danvy","year":"1998","unstructured":"Olivier Danvy. Type-directed partial evaluation. In John Hatcliff, Torben \u00c6. Mogensen, and Peter Thiemann, editors, Partial Evaluation-Practice and Theory; Proceedings of the 1998 DIKU Summer School, number 1706 in Lecture Notes in Computer Science, pages 367\u2013411, Copenhagen, Denmark, July 1998. Springer-Verlag."},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/3-540-61756-6_85","volume-title":"Eighth International Symposium on Programming Language Implementation and Logic Programming","author":"O. Danvy","year":"1996","unstructured":"Olivier Danvy and Ren\u00e9 Vestergaard. Semantics-based compiling: A case study in type-directed partial evaluation. In Herbert Kuchen and Doaitse Swierstra, editors, Eighth International Symposium on Programming Language Implementation and Logic Programming, number 1140 in Lecture Notes in Computer Science, pages 182\u2013197, Aachen, Germany, September 1996. Springer-Verlag. Extended version available as the technical report BRICS-RS-96-13."},{"key":"7_CR10","first-page":"175","volume-title":"Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages","author":"A. Filinski","year":"1999","unstructured":"Andrzej Filinski. Representing layered monads. In Alex Aiken, editor, Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages, pages 175\u2013188, San Antonio, Texas, January 1999. ACM Press."},{"key":"7_CR11","unstructured":"Ralph E. Griswold and Madge T. Griswold. The Icon Programming Language. Prentice Hall, Inc., 1983."},{"key":"7_CR12","unstructured":"Ralph E. Griswold and Madge T. Griswold. The Implementation of the Icon Programming Language. Princeton University Press, 1986."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"David A. Gudeman. Denotational semantics of a goal-directed language. ACM Transactions on Programming Languages and Systems, 1992.","DOI":"10.1145\/111186.104659"},{"key":"7_CR14","series-title":"SIGPLAN Notices","first-page":"66","volume-title":"Proceedings of the ACM SIGPLAN\u201890 Conference on Programming Languages Design and Implementation","author":"R. Hieb","year":"1990","unstructured":"Robert Hieb, R. Kent Dybvig, and Carl Bruggeman. Representing control in the presence of first-class continuations. In Bernard Lang, editor, Proceedings of the ACM SIGPLAN\u201890 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 25, No 6, pages 66\u201377, White Plains, New York, June 1990. ACM Press."},{"key":"7_CR15","unstructured":"Ralf Hinze. Prological features in a functional setting-axioms and implementations. In Masahiko Sato and Yoshihito Toyama, editors, Third Fuji International Symposium on Functional and Logic Programming (FLOPS\u201898), pages 98\u2013122, Kyoto, Japan, April 1998. World Scientific."},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(86)90059-1","volume":"22","author":"J. Hughes","year":"1986","unstructured":"John Hughes. A novel representation of lists and its application to the function \u201creverse\u201d. Information Processing Letters, 22(3):141\u2013144, 1986.","journal-title":"Information Processing Letters"},{"key":"7_CR17","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993. Available online at http:\/\/www.dina.kvl.dk\/~sestoft\/pebook\/pebook.html ."},{"key":"7_CR18","volume-title":"Glasgow Workshop on Functional Programming, Workshops in Computing","author":"D. J. King","year":"1992","unstructured":"David J. King and Philip Wadler. Combining Monads. In John Launchbury and Patrick M. Sansom, editors, Glasgow Workshop on Functional Programming, Workshops in Computing, Ayr, Scotland, 1992. Springer, Berlin."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Mark Leone and Peter Lee. Optimizing ML with run-time code generation. In Proceedings of the ACM SIGPLAN\u201896 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 31, No 5, pages 137\u2013148. ACM Press, May 1996.","DOI":"10.1145\/249069.231407"},{"key":"7_CR20","series-title":"PhD thesis","volume-title":"Abstract Interpretation of Partial-Evaluation Algorithms","author":"K. Malmkj\u00e6r","year":"1993","unstructured":"Karoline Malmkj\u00e6r. Abstract Interpretation of Partial-Evaluation Algorithms. PhD thesis, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas, March 1993."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/LICS.1989.39155","volume-title":"Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science","author":"E. Moggi","year":"1989","unstructured":"Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science, pages 14\u201323, Pacific Grove, California, June 1989. IEEE Computer Society Press."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Todd A. Proebsting. Simple translation of goal-directed evaluation. In Cytron [7], pages 1\u20136.","DOI":"10.1145\/258915.258917"},{"key":"7_CR23","unstructured":"Todd A. Proebsting and Gregg M. Townsend. A new implementation of the Icon language. Technical Report 99-13, University of Arizona, Department of Computer Science, 1999."},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1010027404223","volume":"11","author":"J. C. Reynolds","year":"1998","unstructured":"John C. Reynolds. Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation, 11(4):363\u2013397, 1998. Reprinted from the proceedings of the 25th ACM National Conference (1972).","journal-title":"Higher-Order and Symbolic Computation"},{"key":"7_CR25","volume-title":"PhD thesis","author":"M. Rhiger","year":"2001","unstructured":"Morten Rhiger. PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2001. Forthcoming."},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Michael Sperber and Peter Thiemann. Two for the price of one: composing partial evaluation and compilation. In Cytron [7], pages 215\u2013225.","DOI":"10.1145\/258915.258935"},{"key":"7_CR27","unstructured":"Guy L. Steele Jr. Compiler optimization based on viewing LAMBDA as RENAME + GOTO. In Patrick Henry Winston and Richard Henry Brown, editors, Artificial Intelligence: An MIT Perspective, volume 2. The MIT Press, 1979."},{"issue":"4","key":"7_CR28","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Philip Wadler. Comprehending monads. Mathematical Structures in Computer Science, 2(4):461\u2013493, December 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming","author":"P. Wadler","year":"1995","unstructured":"Philip Wadler. Monads for functional programming. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, number 925in Lecture Notes in Computer Science, pages 24\u201352. Springer-Verlag, 1995."},{"key":"7_CR30","first-page":"29","volume":"85","author":"R. S. Wallace","year":"1983","unstructured":"Richard S. Wallace. An easy implementation of pil (PROLOG in LISP). Association for Computing Machinery Special Interest Group on Artificial Intelligence. SIGART NEWSL., (85):29\u201332, July 1983.","journal-title":"Association for Computing Machinery Special Interest Group on Artificial Intelligence. SIGART NEWSL."}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44806-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T10:59:05Z","timestamp":1556708345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44806-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425588","9783540448068"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44806-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}