Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 8, 1997, Pages 112-124

  Blume, Matthias ^a   Appel, Andrew W ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346616745     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258949.258960     Document Type: Article

References (27)

1. Andrew W. Appel and David B. MacQueen. Separate compilation for Standard ML. In Proc. SIGPLAN '94 Symp. on Prog. Language Design and Implementation, pages 13-23. ACM Press, June 1994.
2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, Cambridge, England, 1992.
3. Andrew W. Appel. A critique of Standard ML. J. Functional Programming, 3(4):391-430, 1993.
4. Koen De Bosschere, Saumya Debray, David Guneman, and Sampath Kannan. Call forwarding: a simple interprocedural optimization technique for dynamically typed languages. In POPL '94: 21ST ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 409-420, 1994.
5. Matthias Blume. Standard ML of New Jersey compilation manager. Manual accompanying SML/NJ software, 1995.
6. Matthias Blume. Hierarchical Modularity and Intermodular Optimization. PhD thesis, Princeton University, expected 1997.
7. Keith D. Cooper, Mary W. Hall, and Linda Torczon. An experiment with inline substitution. Software - Practice and Experience, 21(6):581-601, June 1991.
8. Pohua P. Chang, Scott A. Mahlke, William Y. Chen, and Wen-Mei W. Hwu. Profile-guided automatic inline expansion for c programs. Software - Practice and Experience, 22(5):349-369, May 1992.
9. Jack W. Davidson and Anne M. Holler. A study of a C function inliner. Software - Practice and Experience, 18(8):775-790, August 1988.
10. Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The Essence of Compiling with Continuations. In 1993 Conference on Programming Language Design and Implementation., pages 21-25, June 1993.
11. Marcelo J. R. Gonçalves and Andrew W. Appel. Cache performance of fast-allocating programs. In Proc. Seventh Int'l Conf. on Functional Programming and Computer Architecture, pages 293-305. ACM Press, 1995.
12. Jean Goubault. Generalized boxing, congruences and partial inlining. In Static Analysis Symposium '94, number 864 in Lecture Notes in Computer Science, pages 147-161. Springer-Verlag, 1994.
13. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In Twenty-second Annual ACM Symp. on Principles of Prog. Languages, pages 130-141, New York, Jan 1995. ACM Press.
14. Simon Peyton Jones, Will Partain, and André Santos. Let-floating: moving bindings to give faster programs. In 1996 SIGPLAN International Conference on Functional Programming, pages 3-12, May 1996.
15. Suresh Jagannathan and Andrew Wright. Flow-directed Inlining. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 193-205, May 1996.
16. D. Kranz, R. Kelsey, J. Rees, P. Hudak, J. Philbin, and N. Adams. ORBIT: An optimizing compiler for Scheme. SIGPLAN Notices (Proc. Sigplan '86 Symp. on Compiler Construction), 21(7):219-33, July 1986.
17. David B. MacQueen. A higher-order type system for functional programming. In Research Topics in Functional Programming, pages 353-68, Reading, MA, 1990. Addison-Wesley.
18. David B. MacQueen and Mads Tofte. A semantics for higher-order functors. In Proc. European Symposium on Programming (ESOP'94), pages 409-423, April 1994.
19. Atsushi Ohori. A compilation method for ml-style polymorphic record calculi. In Nineteenth Annual ACM Symp. on Principles of Prog. Languages, pages 154-165. ACM Press, Jan 1992.
20. Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, New York, 1987.
21. Mark B. Reinhold. Cache performance of garbage-collected programs. In Proc. SIGPLAN '94 Symp. on Prog. Language Design and Implementation, pages 206-217. ACM Press, June 1994.
22. Zhong Shao and Andrew W. Appel. Space-efficient closure representations. In Proc. 1994 ACM Conf. on Lisp and Functional Programming, pages 150-161, New York, 1994. ACM Press.
23. Zhong Shao and Andrew W. Appel. A type-based compiler for Standard ML. In Proc 1995 ACM Conf. on Programming Language Design and Implementation, pages 116-129. ACM Press, 1995.
24. Robert W. Scheifler. An analysis of inline substitution for a structured programming language. Communications of the ACM, 20(9):647-654, 1977.
25. Guy L. Steele. Rabbit: a compiler for Scheme. Technical Report AI-TR-474, MIT, Cambridge, MA, 1978.
26. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A Type-Directed Optimizing Compiler for ML. In 1996 SIGPLAN Conference on Programming Language Design and Implementation, 1996.
27. Andrew Tolmach. Tag-free garbage collection using explicit type parameters. In Proc. 1994 ACM Conf. on Lisp and Functional Programming, pages 1-11. ACM Press, 1994.