论文信息 - Towards Leakage Containment

Towards Leakage Containment

Functional programs are organized into procedures, each encapsulating a speci c task. A procedure should not cause its callers to repeat its work. This forced repetition of work we call leakage. In this paper we describe several common instances of leakage, and show how they can be eliminated using an extension of continuation-passing style.

Daniel P. Friedman | Julia L. Lawall

[1] James H. Morris. A bonus from van Wijngaarden's device , 1972, CACM.

[2] Michael P. Georgeff,et al. A scheme for implementing functional values on a stack machine , 1982, LFP '82.

[3] Gordon D. Plotkin,et al. Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..

[4] William D. Clinger,et al. Revised3 report on the algorithmic language scheme , 1986, SIGP.

[5] Andrzej Filinski. Declarative Continuations and Categorical Duality , 1989 .

[6] Michael J. Fischer,et al. Lambda-calculus schemata , 1993, LISP Symb. Comput..

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

[8] D. A. Turner,et al. Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.

[9] Robert Hieb,et al. A variable-arity procedural interface , 1988, LFP '88.

[10] Guy L. Steele,et al. Common Lisp the Language , 1984 .

[11] Peter D. Mosses,et al. Denotational semantics , 1995, LICS 1995.

[12] Olivier Danvy,et al. A Functional Abstraction of Typed Contexts , 1989 .

[13] Matthias Felleisen,et al. The theory and practice of first-class prompts , 1988, POPL '88.

[14] Joseph E. Stoy,et al. The Congruence of two Programming Language Definitions , 1981, Theor. Comput. Sci..

[15] Philip Wadler,et al. Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time , 1984, LFP '84.