Predicting the effects of optimization on a procedure body

ACM SIGPLAN Notices

Volumn 14, Issue 8, 1979, Pages 214-220

  Ball, J Eugene ^a  

^a UNIVERSITY OF ROCHESTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976665385     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/872732.806972     Document Type: Article

References (13)

1. Allen, Frances E. and Cocke, John. A catalogue of optimizing transformations. RC 3558, IBM T. J. Watson Research Center, Yorktown Heights, N.Y., September 1971.
2. Allen, Frances E. Interprocedural data flow analysis. Proc. IFIP Congress 74, North Holland Publishing Co., Amsterdam, 1974, 398–402.
3. Allen, F. E., Carter, J. L., Harrison, W. H., Loewner, P. G., Tapscott, R. P., Trevillyan, L. H., and Wegman, M.N. The Experimental Compiling Systems Project. IBM T. J. Watson Research Center, Yorktown Heights, N.Y., August 1977.
4. Ball, Eugene; Williams, Graeme; and Low, James. Zeno Preliminary Language Description. TR41, University of Rochester Computer Science Department, Rochester, NY, December 1978.
5. Demers, Alan; Donahue, James; and Skinner, Glenn. Data Types as Values: Polymorphism, Type-checking, Encapsulation. Proc. 5th Annual ACM Symposium on Principles of Programming Languages, 1978, 23-30.
6. Harrison, William. Compiler analysis of the value ranges for variables. RC 5544, IBM T. J. Watson Research Center, Yorktown Heights, N.Y., July 1975.
7. Harrison, William. A new strategy for code generation the general purpose optimizing compiler. Proc. 4th ACM Symposium on Principles of Programming Languages, 1977, 29–37.
8. Hecht, Matthew S. Flow Analysis of Computer Programs. Elsevier North-Holland, Inc., New York.
9. Kildall, G. A. A Unified Approach to Global Program Optimization. Proc. ACM Symposium on Principles of Programming Languages, 1973, 194–206.
10. Lampson, B. W., Horning, J. J., London, R. L., Mitchell, J. G., and Popek, G. L. Report on the Programming Language Euclid. SigPlan Notices, 12, 2 (Feb. 1977), 1–79.
11. Liskov, Barbara; Moss, Eliot; Schaffert, Craig; Scheifler, Bob; and Snyder, Alan. CLU Reference Manual. Computation Structures Group Memo 161, Massachusetts Instltute of Technology, Laboratory for Computer Science, July 1978.
12. Mitchell, James G. and Wegbreit, Ben. Schemes: A High Level Data Structuring Concept. CSL-77-1, Xerox Palo Alto Research Center, Palo Alto, Ca., January 1977.
13. Zelkowitz, M.V. and Bail, W.G. Optimization of structured programs. Software Practice and Experience, 4 (1974), 51–57.