Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
Abstract elided by the publisher.
Related papers
- Java bytecode verification via static single assignment form TOPLAS 2008
- The Power of Assignment Motion PLDI 1995
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- Phosphor: illuminating dynamic data flow in commodity jvms OOPSLA 2014
- Efficiently Computing Static Single Assignment Form and the Control Dependence Graph TOPLAS 1991
- DeLICM: scalar dependence removal at zero memory cost CGO 2018
- A Linear Time Algorithm for Placing phi-nodes POPL 1995
- Simple and Efficient Construction of Static Single Assignment Form CC 2013