SSA is Functional Programming

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 4, 1998, Pages 17-20

  Appel, Andrew W ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002626826     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/278283.278285     Document Type: Article

References (15)

1. Bowen Alpern, Mark N. Wegman, and F. Kenneth Zadeck. Detecting equality of variables in programs. In Proc. 15th ACM Symp. on Principles of Programming Languages, pages 1-11, New York, January 1988. ACM Press.
2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, New York, 1992.
3. Andrew W. Appel. Modern Compiler Implementation in C. Cambridge University Press, New York, 1998.
4. Andrew W. Appel. Modern Compiler Implementation in Java. Cambridge University Press, New York, 1998.
5. Andrew W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, New York, 1998.
6. Alonzo Church. The Calculi of Lambda Conversion. Princeton University Press, Princeton, 1941.
7. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451-490, October 1991.
8. Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 237-247, New York, 1993. ACM Press.
9. Richard A. Kelsey. A correspondence between continuation passing style and static single assignment form. In Proceedings ACM SIGPLAN Workshop on Intermediate Representations, vol. 30, pages 13-22, March 1995.
10. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, 1997.
11. Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Global value numbers and redundant computations. In Proc. 15th ACM Symp. on Principles of Programming Languages, pp. 12-27, New York, Jan. 1988.
12. Guy L. Steele. Rabbit: a compiler for Scheme. Technical Report AI-TR-474, MIT, Cambridge, MA, 1978.
13. C. Strachey and C. Wadsworth. Continuations: A mathematical semantics which can deal with full jumps. Technical Monograph PRG-11, Programming Research Group, Oxford University, 1974.
14. Mark N. Wegman and F. Kenneth Zadeck. Constant propagation with conditional branches. ACM Trans. on Programming Languages and Systems, 13(2):181-210, 1991.
15. Michael Wolfe. High Performance Compilers for Parallel Computing. Addison Wesley, Redwood City, CA, 1996.