The semantics of program dependence

ACM SIGPLAN Notices

Volumn 24, Issue 7, 1989, Pages 13-27

  Cartwright, Robert ^a   Felleisen, Mattias ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS--PROGRAM COMPILERS;

OPTIMIZING COMPILERS; PARALLELIZING COMPILERS; PROCEDURAL LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0024700525     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/74818.74820     Document Type: Article

References (15)

1. AHO, A., R. SETHI, AND J. ULLMAN. Compilers-Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass., 1985.
2. FERRANTE, J. AND K. OTTENSTEIN. A program form based on data dependency in predicate regions. In Proc. 10th ACM Symposium on Principles of Programming Languages, 1983, 217-236.
3. FERRANTE, J., K. OTTENSTEIN, AND J. WARREN. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 1987, 319-349.
4. HORWITZ, S., J. PRINS, AND T. REPS. On the adequacy of program dependence graphs representing programs. In Proc. 15th ACM Symposium on Principles of Programming Languages, 1988, 146-157.
5. HORWITZ, S., J. PRINS, AND T. REPS. Integrating non-interfering versions of programs. In Proc. 15th ACM Symposium on Principles of Programming Languages, 1988, 133-145.
6. JøRRING, U. AND W. L. SCHERLIS. Compilers and staging transformations. In Proc. 13th ACM Symposium on Principles of Programming Languages, 1986, 86-96.
7. KUCK, D. J., R. H. KUHN, D. A. PADUA, AND M. WOLFE. Dependence graphs and compiler optimizations. In Proc. 8th ACM Symposium on Principles of Programming Languages, 1981, 207-218.
8. OTTENSTEIN, K. J. An intermediate program form based on a cyclic data-dependence graph. Technical Report No 81-1, Department of Computer Science, Michigan Tech. University, 1981.
9. SCHMIDT, D.A. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Newton, Mass., 1986.
10. SELKE, R. P. A Rewriting Semantics for Program Dependence Graphs. In Proc. 16th ACM Symposium on Principles of Programming Languages, 1989, 12-24
11. WAND, M. Loops in combinator-based compilers. In Proc. 10th Symposium on Principles of Programming Languages, 1983, 190-196.
12. WAND, M. Semantics-directed machine architecture. In Proc. 9th Symposium on Principles of Programming Languages, 1982, 234-241.
13. WAND, M. Deriving target code as a representation of continuation semantics. ACM Trans. Program. Lang. Syst. 4(3), 1982, 496-517.
14. WARREN, J. A hierarchical basis for reordering transformations. In Proc. 11th ACM Symposium on Principles of Programming Languages, 1984, 272-282.
15. WOLFE, M. J. Optimizing Supercompilers for Supercomputers. Ph. D. dissertation, University of Illinois, 1982.