Author:
Aycock John,Horspool Nigel
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. A. V. Aho, R. Sethi, and J. D. Ullman. Code Optimization and Finite Church-Rosser Systems. In Design and Optimization of Compilers, R. Rustin, ed. Prentice Hall, 1971, pp. 89–105. 118
2. B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting Equality of Variables in Programs. Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988, pp. 1–11. 111
3. A.W. Appel. SSA is Functional Programming. ACM SIGPLAN 33, 4 (April 1998), pp. 17–20. 111, 112
4. A. W. Appel. Modern Compiler Implementation in Java. Cambridge, 1998. 111
5. M. M. Brandis and H. Mössenböck. Single-Pass Generation of Static Single-Assignment Form for Structured Languages. ACM TOPLAS 16, 6 (November 1994), pp. 1684–1698. 122
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Constructing Structured SSA from FJ;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
2. The Duality in Computing SSA Programs and Control Dependency;IEEE Transactions on Software Engineering;2023-04-01
3. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
4. Productivity, portability, performance;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2021-11-13
5. Formal Verification of Database Applications Using Predicate Abstraction;SN Computer Science;2021-03-11