Publisher's Synopsis
The manner in which programs are represented in compilers has a large influence on the efficiency and effectiveness of the compiler. The Static Single Assignment (SSA) form is widely used in modern compilers, even at the code generation level, as it allows for simple yet efficient optimizations and analyses. This book offers the first comprehensive reference on SSA-based compilers. Special emphasis is put on the comparison of SSA-based techniques to their non-SSA counterparts.
