This book provides readers with a single-source reference to static-single assignment

(SSA)-based compiler design. It is the first (and up to now only) book that covers

in a deep and comprehensive way how an optimizing compiler can be designed using

the SSA form. After introducing vanilla SSA and its main properties, the authors

describe several compiler analyses and optimizations under this form. They illustrate

how compiler design can be made simpler and more efficient, thanks to the SSA form.

This book also serves as a valuable text/reference for lecturers, making the teaching of

compilers simpler and more effective. Coverage also includes advanced topics, such as

code generation, aliasing, predication and more, making this book a valuable reference

for advanced students and practicing engineers.