NPTEL Video Course : ACM Winter School on Design, Implementation and Verification of Computer Systems

Lecture 24 - The Static Single Assignment Form and Application to Program Optimizations