정적 단일 할당
모든 변수가 단 한 번만 할당되도록 보장하는 컴파일러 설계 기법이다. 코드 최적화와 데이터 흐름 분석을 용이하게 하여 AI가 생성한 코드의 논리적 무결성을 검증하는 데 도움을 준다.