Reading List on Program Analysis (SNU 4541.664A)

Kwangkeun Yi
Programming Research Laboratory/ Seoul National University

기본기/Preliminaries

지향/Orientation
의미구조 표현법/Semantic Formalism

Abstract Interpretation

Powered By Abstract Interpretation

Type-Based Analysis

Constraint-based Analysis

Etc.