Skip to main content
SpringerLink
Log in

The limitations of partial evaluation

  • Chapter 4 Artificial Intelligence
  • Conference paper
  • First Online:
Machines, Languages, and Complexity (IMYCS 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 381))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Beetz. Specifying Meta-Level Architectures for Rule-Based Systems. Technical Report SEKI No. SR-87-06 (Diploma Thesis), Universität Kaiserslautern, Fachbereich Informatik, Kaiserlautern, 1987.

    Google Scholar 

  2. D. Bjorner, A.P. Ershov, and N.D. Jones, editors. Workshop on Partial Evaluation and Mixed Computation, Avernaes, Denmark, October 1987.

    Google Scholar 

  3. 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–240, Bristol, June 1988.

    Google Scholar 

  4. J. Gallagher. Transforming logic programs by specialising interpreters. In Proceedings of the Seventh European Conference on Artificial Intelligence, ECAI '86, pages 109–122, Brighton, July 1986.

    Google Scholar 

  5. F. van Harmelen and A. Bundy. Explanation-based generalisation = partial evaluation. Artificial Intelligence Journal, 30(3):401–412, October 1988.

    Google Scholar 

  6. S. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. J. Lloyd. Foundations of Logic Programming. Symbolic Computation Series, Springer Verlag, 1984.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. J. Lloyd, editor. Proceedings of the Meta '88 Workshop on meta-programming in logic programming, Bristol, June 1988.

    Google Scholar 

  11. H. Lowe. Empirical Evaluation of Meta-Level Interpreters. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1988.

    Google Scholar 

  12. T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: a unifying view. Machine Learning, 1(1):47–80, 1986.

    Google Scholar 

  13. R. O'Keefe. Practical prolog for real programmers. August 1988. Tutorial No. 8 of the Fifth Internation Conference and Symposium on Logic Programming, Seattle.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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–254, Bristol, June 1988.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. J.S. Rosenschein and V. Singh. The Utility of Meta-level Effort. Technical Report No. HPP-83-20, Stanford Heuristic Programming Project, March 1983.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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–27, Salt Lake City, Utah, September 1986.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta programming. In Proceedings of IFIPS '86, Dublin, 1986.

    Google Scholar 

  22. S. Tarnlund. Horn clause computability. BIT, 17:215–226, 1977.

    Google Scholar 

  23. 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–100, Pisa, September 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, University of Edinburgh, EH1 1HN, Edinburgh, Scotland

    Frank van Harmelen

Authors
  1. Frank van Harmelen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Dassow J. Kelemen

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Harmelen, F. (1989). The limitations of partial evaluation. In: Dassow, J., Kelemen, J. (eds) Machines, Languages, and Complexity. IMYCS 1988. Lecture Notes in Computer Science, vol 381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015938

Download citation

  • DOI: https://doi.org/10.1007/BFb0015938

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51516-6

  • Online ISBN: 978-3-540-48203-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation