본문으로 건너뛰기

Sub-Turing Compiler

서브 튜링 컴파일러

임의의 재귀를 허용하지 않는 문법을 사용하여 실행 전 구조적 검증이 가능한 컴파일러. 본문에서는 정렬 검증을 위한 측정 도구로 제안됨.

← 용어 사전 전체 보기