NPTEL Video Course : Automated Program Verification

Lecture 56 - Kildall's Algorithm with Distributive Transfer Functions