본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
공지
로그인
피드
트렌딩
커뮤니티
공지
서브 튜링 컴파일러 (sub-turing-compiler) 용어 설명 | AI Trends
sub-turing-compiler
서브 튜링 컴파일러
중급
임의의 재귀를 허용하지 않는 문법을 사용하여 실행 전 구조적 검증이 가능한 컴파일러. 본문에서는 정렬 검증을 위한 측정 도구로 제안됨.
비슷한 개념
rices-theorem
trust-by-construction
formal-language
static-review-tool
program-logic
recursive-observation
supercompilation
ssa-form
← 용어 사전 전체 보기