Program Analysis, 2024 Fall
Course Information
Slides
- Lecture 0: Course Overview lec0.pdf
- Lecture 1: Introduction to Program Analysis lec1.pdf
- Lecture 2: Static Analysis Examples lec2.pdf
- Lecture 3: Operational Semantics lec3.pdf
- Lecture 4: Denotational Semantics lec4.pdf
- Lecture 5: Axiomatic Semantics
Homework / Quiz
Software Analysis Lab. @ Korea University