calculus of constructions
하나된 계산법, 증명짓기 계산법
just-in-time compiler
실행때 번역기, 바로바로 번역기, 실행시점 번역기, 벼락치기 번역기, 즉석 번역기, 때맞춰 작동하는 번역기, 때맞춘 번역기, 제때 번역기, 그때그때 번역기
top-down program synthesis
위에서부터 프로그램 합성해하기, 큰 틀을 먼저 정하면서 프로그램 합성하기, 전체에서 부품으로 프로그램 합성하기, 분열식 합성, 메뉴부터 정해서 프로그램 요리하기, 아래로 합성, 빈칸메꾸기로 합성하기, 위부터 합성
under-approximation
밭게잡기, 헛것없이 따지기, 박하게 따지기, 가짜없이 따지기, 틀림없이 근사하기, 덜어림잡기, 덜포함하는 근사
over-approximation
놓침없이 따지기, 후하게 따지기, 넉넉잡기, 놓침없이 근사하기, 더포함하는 근사, 넉넉한 근사, 더어림잡기
confluence
만나게됨, 합류
retrieval augmented generation
검색 생성
predicate
조건식, 논리조건, 논리식, 성질 / 원소에대한 명제, 명제함수
scope
유효범위
proof assistant
증명보조기, 증명검사기, 증명도우미
beta-reduction
베타계산
vacuously true
따질 필요 없다
modular programming
따로따로 프로그래밍, 조립식 프로그래밍
modular analysis
조립식 분석, 따로따로 분석
bottom-up program synthesis
부품에서 전체로 프로그램 합성하기, 조립식으로 합성하기, 구성식 합성, 아래부터 합성, 바닥부터 프로그램 합성해가기, 재료부터 정해서 프로그램 요리하기, 작은 식 조립해서 큰 프로그램 합성하기
contra-variant
거슬러 변하는, 반대쪽변환, 거슬러 변하기, 청개구리 변환, 반대 변환, 거스르는
co-variant
맞춰 변하기, 발맞춰 변하기, 발맞춰 변하는, 맞춰 변하기, 맞춰 변하는, 같이 변환, 같은쪽변환, 결맞는
subtype
아래타입, 하위타입, 작은타입
normalization
표준화
macro
코드펼치기, 매크로
fault localization
결함 찝기, 결함 위치 식별, 틀린곳 쪽집기, 틀린곳 찝기
programming by demonstration
시연 프로그래밍
out-of-order execution
새치기 실행
iff
이면이
transition sequence
실행발자국
transitional semantics
실행발자국 의미구조, 실행스텝 의미구조
full abstraction semantics / fully abstract semantics
딱맞는 의미구조, 찰떡같은 의미구조
complement
채움수
lifting
이고가기 변환
extentional proof
겉보기 증명
denotational semantics
궁극의 의미하는 바를 표현하는 의미구조, 진상의미, 단도직입 의미구조, 고정점방식 의미구조, 조립식 의미구조, 결과 의미구조, 한마디 의미구조, 무엇 의미구조, 직접 의미구조
operational semantics
실행되는 의미, 실행과정을 드러내는 의미구조, 어떻게 의미구조, 실행 의미구조, 과정형 의미구조, 계산과정을 드러내는 의미구조