Globalization and live variables

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

Volumn , Issue , 1991, Pages 166-177

  Gomard, Carsten K ^a   Sestoft, Peter ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

EVALUATION ORDER; FUNCTION PARAMETERS; FUNCTIONAL LANGUAGES; GLOBAL VARIABLES; HIGHER-ORDER; PROGRAM POINTS; SCHMIDT;

FUNCTION EVALUATION;

EID: 84893577464     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/115865.115882     Document Type: Conference Paper

References (7)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. Adrienne Bloss. Path Analysis and the Optimization of Non-Strict Functional Languages. PhD thesis, Computer Science Department, Yale University, New Haven, Connecticut, USA, May 1989. Also: Research Report YALEU/DCS/RR-704. 129 pages.
3. A. Bondorf. Automatic Autoprojection of Higher Order Recursive Equations. In Neil D. Jones, editor, ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer Science, vol. 432), pp. 70-87. Springer-Verlag, May 1990.
4. Thomas Johnsson. Lambda Lifting: Transforming Programs to Recursive Equations. In J.-P. Jouannaud, editor, Functional Programming Languages and Computer Architecture, Nancy, France. (Lecture Notes in Computer Science, vol. 201), pp. 190-203. Springer-Verlag, 1985.
5. P. J. Landin. The Mechanical Evaluation of Expressions. Computer Journal, Vol. 6, No. 4, pp. 308-320, January 1964.
6. David A. Schmidt. Detecting Global Variables in Denotational Specifications. A CM Transactions on Programming Languages and Systems, Vol. 5, No. 2, pp. 299-310, April 1985.
7. Peter Sestoft. Replacing Function Parameters by Global Variables. Master's thesis, DIKU, University of Copenhagen, Denmark, October 1988.