본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

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

← 용어 사전 전체 보기