NPTEL Video Course : ACM Indian Summer School on Programming Languages: Principles and Practice

Lecture 20 - Program Semantics - Prof. Subhajit Roy Session - 5