Single-pass generation of static single-assignment form for structured languages-Reference-Cited by-同舟云学术

Single-pass generation of static single-assignment form for structured languages

Published:1994-11 Issue:6 Volume:16 Page:1684-1698
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Brandis Marc M.¹,Mössenböck Hanspeter²

Affiliation:

1. ETH Zu¨rich, Zu¨rich, Switzerland

2. Univ. of Linz, Linz, Austria

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Reference15 articles.

1. AHO A. V. SETHI R. AND ULLMAN J.D. 1986. Compilers. Addison-Wesley Reading Mass. AHO A. V. SETHI R. AND ULLMAN J.D. 1986. Compilers. Addison-Wesley Reading Mass.

2. BIRTWISTLE G. M. DAHL O.-J. MYHRHAUG B. AND NYGAARD K. 1979 Szmula Begtn. Studenthtteratur Lund Sweden. BIRTWISTLE G. M. DAHL O.-J. MYHRHAUG B. AND NYGAARD K. 1979 Szmula Begtn. Studenthtteratur Lund Sweden.

3. Efficiently computing static single assignment form and the control dependence graph

4. Code motion of control structures in high-level languages

Cited by 39 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. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09

3. The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles;Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence;2022

4. Translating structured sequential programs to dataflow graphs;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20

5. Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging;Intelligent Decision Technologies;2021