Partial Evaluation of Computation Process, Revisited | Higher-Order and Symbolic Computation Skip to main content
Springer Nature Link
Log in

Partial Evaluation of Computation Process, Revisited

  • Published:
Higher-Order and Symbolic Computation

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Burstall, R. and Darlington, J. A transformation system for developing recursive programs. JACM 24(1) (1977) 44–67.

    Google Scholar 

  2. Ershov, A. On the essence of compilation. In Formal Description of Programming Concepts, Neuhold, E. (Ed.). North-Holland, 1978, 391–420.

  3. Futamura, Y. Partial evaluation of computation process--an approach to a compiler-compiler. Systems Computers Controls 2(5) (1971) 45–50.

    Google Scholar 

  4. Futamura, Y. EL1 Partial Evaluator. Term paper manuscript, AM260, DEAP, Harvard University, 1972.

  5. Futamura, Y. EL1 Partial Evaluator (Progress Report). Center for Research in Computing Technology, Harvard University, January 1973.

  6. Futamura, Y. Partial computation of programs. In RIMS Symposia on Software Science and Engineering, E. Goto et al. (Ed.). LNCS 147, Springer, 1982.

  7. Futamura, Y. and Nogi, K. Program Transformation Based on Generalized Partial Computation. US-Patent 5241678, August 31, 1993.

  8. Futamura, Y., Nogi, K., and Takano, A. Essence of generalized partial computation. Theoretical Computer Science 90 (1991) 61–79.

    Google Scholar 

  9. Jones, N.D., Gomard, C.K., and Sestoft, P. Partial Evaluation and Automatic Program Generation, Prentice Hall International Series in Computer Science. Prentice-Hall, 1993.

  10. Jones, N.D., Sestoft, P., and Søndergaard, H. An experiment in partial evaluation: the generation of a compiler generator. In Rewriting Techniques and Applications, Jouannaud, J.-P. (Ed.). Lecture Notes in Computer Science, Vol. 202, Springer-Verlag, 1985, pp. 124–140

  11. Jones, N.D., Sestoft, P., and Søndergaard, H. MIX: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation 2(1) (1989) 9–50.

    Google Scholar 

  12. McCarthy, J., Abrahams, P.W., Edwards, D.J., Hart, T.P., and Levin, M.I. LISP 1.5 Programmer's Manual. MIT Press, 1962.

  13. Morgensen, T. and Holst, K. Terminology. New Generation Computing 6 (1988) 303–307.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Science, Waseda University, 3-4-1, Ohkubo, Shinjuku, Tokyo, Japan, 169-8555

    Yoshihiko Futamura

Authors
  1. Yoshihiko Futamura
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Futamura, Y. Partial Evaluation of Computation Process, Revisited. Higher-Order and Symbolic Computation 12, 377–380 (1999). https://doi.org/10.1023/A:1010043619517

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010043619517

Keywords

Search

Navigation