컴파일러
프로그래밍 언어로 작성된 소스 코드를 컴퓨터가 이해할 수 있는 기계어나 중간 코드로 번역하는 프로그램이다. 소프트웨어 실행의 기초가 되며 고도의 논리적 구조가 요구된다.
형식 검증으로 안전성 확보한 LLM 상태 머신 컴파일러 Aura-State 공개
LLVM 창시자가 분석한 Claude가 만든 C 컴파일러의 실체