하이라이트
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 다번짐, 번져모음, 연쇄반응의 극한, 연쇄반응의 끝, 전이최대범위
abstraction hierarchy
속내용 감추며 차곡차곡 쌓기, 요약 단계, 다단계 요약
assertion
단언 , 주장 , 필수조건, 꼭 , 이랴해, 보장
complete partial order(CPO)
완전 부분순서집합, 끝을 모두 가진 부분순서집합, 완비 부분순서집합
concrete semantics
구체적 의미, 의미, 의미구조, 요약 전 의미(구조)
agent
전문요원
transitivity
번짐성, 연쇄성
operand
연산대상, 연산재
quick sort
휙 정렬
quicksort
휙 정렬
program repair
프로그램고치기
backwards compatibility
옛것과 잘 맞음, 역호환성, 기능 계승, 여전함
synchronous programming
다하고넘어가는 프로그램짜기, 기다리는 프로그램 짜기, 정박자 프로그래밍, 지켜보기 프로그래밍, 차례있는 프로그램짜기, 합맞추기 프로그래밍
asynchronous programming
엇박자 프로그래밍, 양보하는 프로그래밍, 비순차 프로그래밍, 여러가지를 동시실행하는 프로그램짜기, 동시실행 프로그램짜기, 동시실행 프로그래밍, 실행순서없는 프로그램 짜기, 순서상관않는 프로그램짜기, 차례없는 프로그램 짜기, 맞겨놓기 프로그래밍, 엇맞추기 프로그래밍
modal logic
관점 논리
type system
타입 시스템, 타입 맞물림 규칙
collecting semantics
모음 의미구조, 모둠의미구조, 모둠 의미구조
over-approximation
넉넉잡기, 놓침없이 따지기, 후하게 따지기, 넉넉한 근사, 넓게어림잡기, 놓침없이 근사하기, 더어림잡기, 더포함하는 근사
under-approximation
가짜없이 따지기, 헛것없이 따지기, 박하게 따지기, 밭게잡기, 덜어림잡기, 덜포함하는 근사, 좁게어림잡기, 틀림없이 근사하기
monad
이어달리기 타입, 계산잇기 구조 / 계산잇기 타입, 차례차례타입, 계산효과 타입, 순차적 맥락 타입, 계산법 타입 / 계산법 드러내는 타입, 모나드, 속속타입, 줄줄이타입
trace
실행 경로, 실행발자국
calculus of constructions
증명짓기 계산법, 하나된 계산법
just-in-time compiler
즉석 번역기, 실행시점 번역기, 그때그때 번역기, 때맞춘 번역기, 바로바로 번역기, 실행때 번역기, 제때 번역기, 때맞춰 작동하는 번역기, 벼락치기 번역기
top-down program synthesis
전체에서 부품으로 프로그램 합성하기, 큰 틀을 먼저 정하면서 프로그램 합성하기, 빈칸메꾸기로 합성하기, 위에서부터 프로그램 합성해하기, 메뉴부터 정해서 프로그램 요리하기, 위부터 합성, 아래로 합성, 분열식 합성
confluence
만나게됨, 합류
retrieval augmented generation
검색 생성
predicate
조건식, 논리식, 논리조건, 명제함수, 성질 / 원소에대한 명제
scope
유효범위
proof assistant
증명보조기, 증명검사기, 증명도우미
beta-reduction
베타계산
vacuously true
따질 필요 없다
modular programming
조립식 프로그래밍, 따로따로 프로그래밍