Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers
No abstract available.
DOI 10.1007/bfb0026427
Related papers
- SSA Translation Is an Abstract Interpretation POPL 2023
- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA SAS 2008
- SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA APLAS 2011
- Mechanizing conventional SSA for a verified destruction with coalescing CC 2016
- SSA without Dominance for Higher-Order Programs PLDI 2026
- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations CC 2010
- Array SSA Form and Its Use in Parallelization POPL 1998
- An Efficient SSA-Based Algorithm for Complete Global Value Numbering APLAS 2007