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
경계없는 프로그래밍
choreographic programming
번역이 없어요
asynchronous programming
실행순서없는 프로그램 짜기, 양보하는 프로그래밍, 여러가지를 동시실행하는 프로그램짜기, 동시실행 프로그램짜기, 동시실행 프로그래밍, 미루는 프로그램 짜기, 차례없는 프로그램 짜기, 순서상관않는 프로그램짜기, 엇박자 프로그래밍, 비순차 프로그래밍
context tunneling
함수 호출 환경 배달하기, 호출환경 배달하기
monad
순차적 맥락 타입, 이어달리기 타입, 계산법 타입 / 계산법 드러내는 타입, 차례차례타입, 계산효과 타입, 계산잇기 구조 / 계산잇기 타입, 모나드
refinement relation
가다듬기, 구체화