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

Lecture 16 - Program Semantics - Prof. Subhajit Roy Session - 1