predicate
조건식, 논리조건, 논리식, 성질 / 원소에대한 명제
confluence
만나게됨
calculus of constructions
하나된 계산법
proof assistant
증명보조기, 증명검사기, 증명도우미
beta-reduction
베타계산
vacuously true
따질 필요 없다
modular programming
따로따로 프로그래밍, 조립식 프로그래밍
modular analysis
조립식 분석, 따로따로 분석
top-down program synthesis
위에서부터 프로그램 합성해하기, 큰 틀을 먼저 정하면서 프로그램 합성하기, 전체에서 부품으로 프로그램 합성하기, 분열식 합성, 메뉴부터 정해서 프로그램 요리하기, 아래로 합성, 빈칸메꾸기로 합성하기, 위부터 합성
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
실행되는 의미, 실행과정을 드러내는 의미구조, 어떻게 의미구조, 실행 의미구조, 과정형 의미구조, 계산과정을 드러내는 의미구조
abstract data type
속내용감춘 데이터타입
obfuscation
코드꼬기 / 코드뒤틀기, 난독화
partial evaluation
부분실행, 군살빼기, 부분 미리 계산, 앞풀이, 맞춤선행
beam search
빔 탐색
informal
대략적인, 느낌적인