{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:01Z","timestamp":1725456241495},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540515166"},{"type":"electronic","value":"9783540482031"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bfb0015938","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:25:05Z","timestamp":1132709105000},"page":"169-187","source":"Crossref","is-referenced-by-count":2,"title":["The limitations of partial evaluation"],"prefix":"10.1007","author":[{"given":"Frank","family":"van Harmelen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"16_CR1","series-title":"Technical Report SEKI No.","volume-title":"Specifying Meta-Level Architectures for Rule-Based Systems","author":"M. Beetz","year":"1987","unstructured":"M. Beetz. Specifying Meta-Level Architectures for Rule-Based Systems. Technical Report SEKI No. SR-87-06 (Diploma Thesis), Universit\u00e4t Kaiserslautern, Fachbereich Informatik, Kaiserlautern, 1987."},{"key":"16_CR2","unstructured":"D. Bjorner, A.P. Ershov, and N.D. Jones, editors. Workshop on Partial Evaluation and Mixed Computation, Avernaes, Denmark, October 1987."},{"key":"16_CR3","unstructured":"D. Chan and M. Wallace. A treatment of negation during partial evaluation. In J. Lloyd, editor, Proceedings of the Meta'88 Workshop on meta-programming in logic programming, pages 227\u2013240, Bristol, June 1988."},{"key":"16_CR4","unstructured":"J. Gallagher. Transforming logic programs by specialising interpreters. In Proceedings of the Seventh European Conference on Artificial Intelligence, ECAI '86, pages 109\u2013122, Brighton, July 1986."},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"30","author":"F. Harmelen van","year":"1988","unstructured":"F. van Harmelen and A. Bundy. Explanation-based generalisation = partial evaluation. Artificial Intelligence Journal, 30(3):401\u2013412, October 1988.","journal-title":"Artificial Intelligence Journal"},{"key":"16_CR6","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1952","unstructured":"S. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952."},{"key":"16_CR7","unstructured":"G. Levi. Object level reflection of inference rules by partial evaluation. In P. Maes and D. Nardi, editors, Meta-level architectures and reflection, North Holland Publishers, 1988."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming. Symbolic Computation Series, Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"16_CR9","unstructured":"J.W. Lloyd and J.C. Shepherdson. Partial evaluation in logic programming. Technical Report CS-87-09, Department of Computer Science, University of Bristol, 1987."},{"key":"16_CR10","unstructured":"J. Lloyd, editor. Proceedings of the Meta '88 Workshop on meta-programming in logic programming, Bristol, June 1988."},{"key":"16_CR11","unstructured":"H. Lowe. Empirical Evaluation of Meta-Level Interpreters. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1988."},{"issue":"1","key":"16_CR12","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: a unifying view. Machine Learning, 1(1):47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"16_CR13","unstructured":"R. O'Keefe. Practical prolog for real programmers. August 1988. Tutorial No. 8 of the Fifth Internation Conference and Symposium on Logic Programming, Seattle."},{"key":"16_CR14","unstructured":"S. Owen. The development of explicit interpreters and transformers to control control reasoning about protein topology. Technical Memo HPL-ISC-TM-88-015, Hewlett-Packard Laboratories Bristol Research Centre, 1988."},{"key":"16_CR15","unstructured":"S. Owen. Issues in the partial evaluation of meta-interpreters. In J. Lloyd, editor, Proceedings of the Meta'88 Workshop on meta-programming in logic programming, pages 241\u2013254, Bristol, June 1988."},{"key":"16_CR16","volume-title":"Proceedings of AAAI-87","author":"A.E. Priedites","year":"1987","unstructured":"A.E. Priedites and J. Mostow. PROLEARN: towards a Prolog interpreter that learns. In Proceedings of AAAI-87, American Association for Artificial Intelligence, Seattle, Washington, July 1987."},{"key":"16_CR17","unstructured":"J.S. Rosenschein and V. Singh. The Utility of Meta-level Effort. Technical Report No. HPP-83-20, Stanford Heuristic Programming Project, March 1983."},{"key":"16_CR18","unstructured":"S. Safra and E. Shapiro. Meta Interpreters for Real. Technical Report No. CS86-11, Department of Computer Science, The Weizmann Institute of Science, May 1986."},{"key":"16_CR19","unstructured":"L.Stuterling and R.D. Beer. Incremental flavor-mixing of meta-interpreters for expert system construction. In Proceedings of the 3rd Symposium on Logic Programming, pages 20\u201327, Salt Lake City, Utah, September 1986."},{"key":"16_CR20","series-title":"Technical Report","volume-title":"Application of Partial Evaluation to the Algebraic Manipulation System and its Evaluation","author":"T. Takewaki","year":"1985","unstructured":"T. Takewaki, A. Takeuchi, S. Kunifuji, and K. Furukawa. Application of Partial Evaluation to the Algebraic Manipulation System and its Evaluation. Technical Report TR-148, Tokyo, ICOT Research Centre, December 1985."},{"key":"16_CR21","unstructured":"A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta programming. In Proceedings of IFIPS '86, Dublin, 1986."},{"key":"16_CR22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S. Tarnlund","year":"1977","unstructured":"S. Tarnlund. Horn clause computability. BIT, 17:215\u2013226, 1977.","journal-title":"BIT"},{"key":"16_CR23","unstructured":"R. Venken. A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation. In Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI '84, pages 91\u2013100, Pisa, September 1984."}],"container-title":["Lecture Notes in Computer Science","Machines, Languages, and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T08:04:46Z","timestamp":1548057886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540515166","9783540482031"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0015938","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}