NSynC: 계산의 정규화된 합성 (Normalised Synthesis of Computation)

요약

NSynC는 프로그램 합성 과정에서 발생하는 구문론적 중복 문제를 해결하기 위해 의미론 기반의 합성 방식을 제안합니다. 대상 언어의 의미론을 직접 열거하여 탐색 공간을 최적화함으로써 합성 속도를 획기적으로 개선했습니다.

핵심 포인트

• 구문론적 중복으로 인한 의미론적 중복 문제 해결
• 의미론 기반 합성(synthesis-by-semantics) 접근 방식 제안
• 타입 유도 합성을 통한 정규형 공간 탐색
• 기존 알고리즘 대비 평균 8.93배의 속도 향상 달성