Program Analysis, 2018 Spring
Course Information
- Instructor: Hakjoo Oh
- Lecture: 13:00-15:30 on Wednesdays
- Textbook:
- References:
- The Formal Semantics of Programming Languages (Glynn Winskel)
- Semantics of Programming Languages (Andrew M. Pitts)
- Denotational Semantics (Andrew M. Pitts)
Slides
- Overview: lec0.pdf
- Formal Semantics: lec1.pdf, lec2.pdf, lec3.pdf
- Introduction to program analysis: lec4.pdf
- Abstract Interpretation: lec5.pdf, lec6.pdf
- Data Flow Analysis: lec7.pdf, lec8.pdf