Flow-directed inlining

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 193-205

  Jagannathan, Suresh ^a   Wright, Andrew ^a  

^a NEC LABORATORIES AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144379776     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231417     Document Type: Article

References (26)

1. AGESEN, O., AND HOLZLE, U. Type Feedback vs. Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (1995), pp. 91-107.
2. APPEL, A. Compiling with Continuations. Cambridge University Press, 1992.
3. BARENDREGT, H. The Lambda Calculus. North-Holland, Amsterdam, 1981.
4. BULYONKOV, M. Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica 21 (1984), 473-484.
5. CHAMBERS, C., AND UNGAR, D. Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. In ACM SIGPLAN '89 Conference on Programming Language Design and Implementation (New York, June 1989), ACM, pp. 146-160.
6. CHANG, P. P., MAHLKE, S. A., CHEN, W. Y., AND HWU, W.-M. W. Profile-Guided Automatic Inline Expansion for C Programs. Software Practice and Experience (May 1992), 349-369.
7. 4 Report on the Algorithmic Language Scheme. ACM Lisp Pointers 4, 3 (July 1991).
8. COOPER, K., HALL, M., AND TORCZON, L. An Experiment with Inline Substitution. Software: Practice and Experience 21, 6 (1991), 581-601.
9. COOPER, K., HALL, M., AND TORCZON, L. Unexpected Side Effects of Inline Substitution: A Case Study. ACM Letters on Programming Languages and Systems 1, 1 (1992), 22-32.
10. DEAN, J., CHAMBERS, C., AND GROVE, D. Selective Specialization for Object-Oriented Languages. In ACM Conference on Programming Language Design and Implementation (1995), pp. 93-102.
11. DYBVIG, K. The Scheme Programming Language. Prentice-Hall, Inc., 1987.
12. GREENGARD, L. The Rapid Evaluation of Potential Fields in Particle Systems. ACM Press, 1987.
13. HEINTZE, N. Set-Based Analysis of ML Programs. In ACM Symposium on Lisp and Functional Programming (1994), pp. 306-317.
14. HENGLEIN, F. Global Tagging Optimization by Type Inference. In ACM Symposium on Lisp and Functional Programming (1992), pp. 205-215.
15. JAGANNATHAN, S., AND WRIGHT, A. Effective Flow-Analysis for Avoiding Runtime Checks. In Second Interntational Symposium on Static Analysis (1995), pp. 207-225. Springer-Verlag LNCS 983.
16. th ACM Symposium on Principles of Programming Languages (January 1979), pp. 244-256.
17. MILNER, R., TOFTE, M., AND HARPER, R. The Definition of Standard ML. MIT Press, 1990.
18. PALSBERG, J., AND SWARTZBACH, M. I. Object-Oriented Type Inference. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (1991), pp. 146-161.
19. PANDE, H. D., AND RYDER, B. G. Static Type Determination for C++. In Usenix C++ Conference Proceedings (1994), pp. 85-97.
20. PLEVYAK, J., AND CHIEN, A. Precise Concrete Type Inference for Object-Oriented Languages. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (1994), pp. 324-340.
21. SHAO, Z., AND APPEL, A. Space-Efficient Closure Representations. In ACM Symposium on Lisp and Functional Programming (1994), pp. 150-161.
22. SHIVERS, O. Control-Flow Analysis of Higher-Order Languages or Taming Lambda. PhD thesis, School of Computer Science, Carnegie-Mellon University, 1991.
23. SHIVERS, O. The Semantics of Scheme Control-Flow Analysis. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (1991), pp. 190-198.
24. SUN MICROSYSTEMS, INC. The Java Language Specification. Mountain View, Calif., 1995.
25. WRIGHT, A. K., AND DUBA, B. F. Pattern Matching for Scheme. Unpublished document available from http://www.neci.nj.nec.com/homepages/wright.html, 1993.
26. ZHAO, F. An O(N) Algorithm for Three-Dimensional N-Body Simulations. Master's thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1987.