Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes
No abstract available.
Related papers
- Mechanised Semantics for Gated Static Single Assignment CPP 2023
- Static Single Assignment Form for machine Code PLDI 1999
- Simple Generation of Static Single-Assignment Form CC 2000
- Incremental Computation of Static Single Assignment Form CC 1996
- Static Single Assignment for Explicitely Parallel Programs POPL 1993
- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations CC 2010
- Translating Out of Static Single Assignment Form SAS 1999
- Java bytecode verification via static single assignment form TOPLAS 2008