Replacing function parameters by global variables

Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture, FPCA 1989

Volumn , Issue , 1989, Pages 39-53

  Sestoft, Peter ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

CORRECTNESS PROOFS; FUNCTION PARAMETERS; GLOBAL VARIABLES; HIGHER-ORDER LANGUAGES; INTERFERENCE ANALYSIS; NON-COMPOSITE; OPERATIONAL SEMANTICS; RELATED WORKS;

FUNCTIONAL PROGRAMMING;

EID: 85020714135     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99370.99374     Document Type: Conference Paper

References (14)

1. A.V. Aho, R. Sethi and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.
2. A. Bloss and P. Hudak. Path semantics.In M. Main et al. (eds.): Mathematical Foundations of Programming Language Semantics, 3rd Workshop, New Orleans, Louisiana, April 1987. Lecture Notes in Computer Science 298 (1988) 476-489.
3. T. Johnsson. Lambda lifting: transforming programs to recursive equations. In J.-P. Jouannaud (ed.): Functional Programming Languages and Computer Architecture, Nancy, France, 1985. Lecture Notes in Computer Science 201 (1985) 190-203.
4. N.D. Jones, P. Sestoft and H. Sondergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation 2, 1 (1989) 9-50.
5. U. Kastens. Lifetime analysis for attributes. Acta Informauca 24 (1987) 633-651.
6. U. Kastens, B. Hütt and E. Zimmermann. Gag: A Practical Compiler Generator. Lecture Notes in Computer Science 141 (1982) 156 pages.
7. U. Kastens and M. Schmidt. Lifetime analysis for procedure parameters. In B. Robinet and R. Wilhelm (eds.): ESOP 86. European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 1986. Lecture Notes in Computer Science 213 (1986) 53-69.
8. A. Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. Ph. D. Thesis, Report CST-15-81, 180 pages, Dept. Computer Science, University of Edinburgh, Scotland 1981.
9. S.L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall 1987.
10. G.D. Plotkin. A Structural Approach to Operational Semantics.DAIMI Report FN-19, 172 pages, DAIMI, Aarhus University, Denmark 1981.
11. D.A. Schmidt. Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems 7, 2 (April 1985)299-310.
12. D.A. Schmidt. Detecting Stack-Based Environments in Denotational Definitions. (Extended Version). Report TR-CS-86-3, 36 pages, Department of Computing & Information Sciences, Kansas State University, Kansas 1986.
13. D.A. Schmidt. Denotational Semantics.A Methodology for Language Development. Allyn and Bacon 1986.
14. P. Sestoft. Replacing Function Parameters by Global Variables. M. Sc. thesis 88-7-2, 107 pages, DIKU, University of Copenhagen, Denmark 1988.