论文信息 - Replacing function parameters by global variables - 字舞流文

Replacing function parameters by global variables

Peter Sestoft | P. Sestoft

[1] Neil D. Jones,et al. Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..

[2] David A. Schmidt. Detecting Stack-Based Environments in Denotational Definitions , 1988, Sci. Comput. Program..

[3] Simon Peyton Jones,et al. The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science) , 1987 .

[4] Paul Hudak,et al. Path Semantics , 1987, MFPS.

[5] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .

[6] Uwe Kastens,et al. Lifetime Analysis for Procedure Parameters , 1986, ESOP.

[7] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[8] David A. Schmidt,et al. Denotationaisemantics: a methodology for language development , 1986 .

[9] David A. Schmidt. Detecting global variables in denotational specifications , 1985, TOPL.

[10] Thomas Johnsson,et al. Lambda Lifting: Treansforming Programs to Recursive Equations , 1985, FPCA.

[11] Uwe Kastens,et al. GAG: A Practical Compiler Generator , 1982, Lecture Notes in Computer Science.

[12] Alan Mycroft,et al. Abstract interpretation and optimising transformations for applicative programs , 1982 .