Lambda-dropping: Transforming recursive equations into programs with block structure

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1997, Pages 90-104

  Danvy, Olivier ^a   Schultz, Ulrik P ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS; RESTORATION; SEMANTICS; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; RECURSIVE FUNCTIONS;

BLOCK STRUCTURES; FUNCTIONAL PROGRAMS; PARTIAL EVALUATION; POST PROCESSING; PRE-PROCESSING; RECURSIVE EQUATIONS; RESIDUAL PROGRAMS; TRANSITIVE CLOSURE; BLOCK STRUCTURE; LAMBDA DROPPING; LAMBDA LIFTING;

APPLICATION PROGRAMS; COMPUTER SOFTWARE;

EID: 0030687407     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258993.259007     Document Type: Conference Paper

References (39)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. Lennart Augustsson. Compiling Lazy Functional Languages, part II PhD thesis, Department of Computer Sciences, Chalmers University of Technology, Göteborg, Sweden, 1988.
4. Anindya Banerjee and David A. Schmidt A categorical interpretation of Landin's correspondence principle. In Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, and David Schmidt, editors, Proceedings of the 9th Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science, pages 587-602, New Orleans, Louisiana, April 1993.
5. Henk Barendregt. The Lambda Calculus - Its Syntax and Semantics. North-Holland, 1984.
6. Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Master's thesis, DIKU, Computer Science Department, University of Copenhagen, August 1993. DIKU Rapport 93/22.
7. Hans-J. Boehm, editor. Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages Portland, Oregon, January 1994. ACM Press.
8. Anders Bondorf and Jesper Jørgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315-346, 1993.
9. William Clinger and Lars Thomas Hansen. Lambda, the ultimate label, or a simple optimizing compiler for Scheme. In Talcott [36], pages 128-139.
10. Charles Consel. A tour of Schism: A partial evaluation system for higher-order applicative languages. In David A. Schmidt, editor, Proceedings of the Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145-154, Copenhagen, Denmark, June 1993. ACM Press.
11. Charles Consel and Olivier Danvy. Static and dynamic semantics processing. In Robert (Corky) Cartwright, editor, Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 14-24, Orlando, Florida, January 1991. ACM Press.
12. 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-501, Charleston, South Carolina, January 1993. ACM Press.
13. Olivier Danvy. Type-directed partial evaluation. In Guy L. Steele Jr., editor, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, pages 242-257, St. Petersburg Beach, Florida, January 1996. ACM Press.
14. Olivier Danvy, Nevin C. Heintze, and Karoline Malmkjaer. Resource-bounded partial evaluation. ACM Computing Surveys, 28(2):329-332, June 1996.
15. Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In David W. Wall, editor, Proceedings of the ACM SIGPLAN'93 Conference on Programming Languages Design and Implementation, SIGPLAN Notices, Vol. 28, No 6, pages 237-247, Albuquerque, New Mexico, June 1993. ACM Press.
16. Pascal Fradet. Syntactic detection of single-threading using continuations. In John Hughes, editor, Proceedings of the Fifth ACM Conference on Functional Programming and Computer Architecture, number 523 in Lecture Notes in Computer Science, pages 241-258, Cambridge, Massachusetts, August 1991. Springer-Verlag.
17. Carsten K. Gomard and Neil D. Jones. A partial evalu-ator for the untyped lambda-calculus. Journal of Functional Programming, l(l):21-69, 1991.
18. John Hughes. Super combinators: A new implementation method for applicative languages. In Daniel P. Friedman and David S. Wise, editors, Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming, pages 1-10, Pittsburgh, Pennsylvania, August 1982.
19. Thomas Johnsson. Lambda lifting: Transforming programs to recursive equations. In Jean-Pierre Jouan-naud, editor, Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science, pages 190-203, Nancy, France, September 1985.
20. Thomas Johnsson. Compiling Lazy Functional Languages. PhD thesis, Department of Computer Sciences, Chalmers University of Technology, Göteborg, Sweden, 1987.
21. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice-Hall, 1993.
22. Neil D. Jones, Peter Sestoft, and Harald Søndergaard. MIX: A self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(l):9-50, 1989.
23. Peter J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157-166, 1966.
24. Karoline Malmkjaer, Nevin Heintze, and Olivier Danvy. ML partial evaluation using set-based analysis. In John Reppy, editor, Record of the 1994 ACM SIG-PLAN Workshop on ML and its Applications, Rapport de recherche no 2265, INRIA, pages 112-119, Orlando, Florida, June 1994. Also appears as Technical report CMU-CS-94-129.
25. Karoline Malmkjaer and Peter Ørbaek. Polyvariant specialization for higher-order, block-structured languages. In William L. Scherlis, editor, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 66-76, La Jolla, California, June 1995.
26. Simon Peyton Jones, Will Partain, and Andrê Santos. Let-floating: moving bindings to give faster programs. In R. Kent Dybvig, editor, Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, pages 1-12, Philadelphia, Pennsylvania, May 1996. ACM Press.
27. Simon L. Peyton Jones. An introduction to fully-lazy supercombinators. In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, number 242 in Lecture Notes in Computer Science, pages 176-208, Val d'Ajol, France, 1985.
28. Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1987.
29. Simon L. Peyton Jones and David R. Lester. Implementing Functional Languages. Prentice Hall International Series in Computer Science. Prentice-Hall, 1992.
30. Erik Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, Stanford, California, February 1993. Technical report CSL-TR-93-563.
31. David A. Schmidt. Detecting global variables in denotational definitions. A CM Transactions on Programming Languages and Systems, 7(2):299-310, April 1985.
32. Ulrik P. Schultz. Master's thesis, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 1997. Forthcoming.
33. Peter Sestoft. Replacing function parameters by global variables. In Joseph E. Stoy, editor, Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, pages 39-53, London, England, September 1989. ACM Press.
34. Zhong Shao and Andrew W. Appel. Space-efficient closure representations. In Talcott [36], pages 150-161.
35. Olin Shivers. Control-Flow Analysis of Higher-Order Languages or Taming Lambda. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, May 1991. Technical Report CMU-CS-91-145.
36. Carolyn L. Talcott, editor. Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, LISP Pointers, Vol. VII, No. 3, Orlando, Florida, June 1994. ACM Press.
37. Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value lambda-calculus using a stack of regions. In Boehm [7], pages 188-201.
38. Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73(2):231-248, 1989. Special issue on ESOP'88, the Second European Symposium on Programming, Nancy, France, March 21-24, 1988.
39. Mitchell Wand and Paul Steckler. Selective and lightweight closure conversion. In Boehm [7], pages 435-445.