Program Analysis, 2019 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 9:00-11:30 on Tuesdays
- Syllabus
- Textbook:
- Xavier Rival and Kwangkeun Yi. Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press
Materials
Homework
Software Analysis Lab. @ Korea University