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

Lecture 22 - Introduction to Data-Flow and Control-Flow Analyses