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
대략적인, 느낌적인
sparse analysis
큰걸음 분석, 쏙쏙 분석, 급행 분석, 지름길 분석, 알뜰하게 분석하기 / 알뜰 분석, 성큼성큼 분석, 적시적소 분석
dynamic analysis
실행 중 분석
API (application programming interface)
나들목
object-oriented language
물건중심 언어, 사물중심 언어, 것 중심 프로그래밍, 메세지 중심 언어, 개체 중심 언어
bisimulation
맞장구, 호응관계, 서로거울, 서로따라하기
term rewriting
식 다시쓰기 / 코드 다시쓰기 / 계산식 다시쓰기
exhaustive search
싹쓸이 탐색
tierless programming / multitier programming
경계없는 프로그래밍