컴파일러

정리

1. Instruction

[1.1.2] (참고) Affine Inequality(아핀 부등식)

[1.1.3] (참고) Convex Hull(볼록 껍질)

[1.2.1] 논리학과 정적 분석의 soundness 개념 비교

2. Abstract Interpretation

[2.1.1] 요약 실행에서 ordered structure의 역할

[2.3.1] 함수 사상의 종류

[2.3.3] Adjoint Functions

[2.3.3] Closure Property (연산의 닫힘)

[2.3.4] Galois embedding 조건이 서로 동치인 동치인 이유

[2.3.6] sound abstract operator의 조건 간 동치 증명

3. Language and Semantics

[3.3] (참고) Semantics를 정의하는 Compositional과 Inductive 방식의 차이