정적 단일 할당 중간 표현
모든 변수가 단 한 번만 할당되도록 구조화된 컴파일러 내부의 중간 코드 형태이다. 데이터 흐름 분석을 용이하게 하여 고도화된 코드 최적화를 가능하게 한다.