하이라이트
decidable
계산 가능한, 컴퓨터가 답할/결정할/계산할 수 있는, 풀수 있는
abstract interpretation
요약해석, 요약실행
definitional equality
겉보니 같음, 정의에 따라 같음
propositional equality
따져보니 같음, 증명에 따라 같음
interprocedural dataflow analysis
함수간 데이터흐름분석 / 함수간 실행전분석
dangling pointer
헛 포인터, 오리알 포인터, 재활용된 메모리, 오염된 메모리
continuous function
연속함수
approximation
근접하기, 어림잡기
proof assistant
증명보조기, 증명검사기, 증명도우미
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기
symbolic execution
미지수 실행, 겉실행, 겉치레실행, 식전파 실행
neurosymbolic AI
논리-직관 융합 AI, 논리신경 융합 AI, 비빔지능, 섞어지능, 신경-논리 결합 AI
reverse engineering
거꾸로 분석하기, 거꾸로 알아내기, 뜯어서 분석하기 / 뜯어서 알아내기, 역공학, 역설계
evaluate
값을 구하다, 계산하다
monad
이어달리기 타입, 계산잇기 구조 / 계산잇기 타입, 차례차례타입, 줄줄이타입
substructural type system
얄짤없는 타입 / 여지없는 타입, 제약된 타입 시스템
boilerplate
찍어낸 코드, 판박이
compiled language
번역형 언어
agent
요원, 전문요원
interpreted language
실행형 언어
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 다번짐, 번져모음, 연쇄반응의 극한, 연쇄반응의 끝, 전이최대범위
abstraction hierarchy
속내용 감추며 차곡차곡 쌓기, 요약 단계, 다단계 요약
assertion
단언 , 주장 , 필수조건, 꼭 , 이랴해, 보장
complete partial order(CPO)
완전 부분순서집합, 끝을 모두 가진 부분순서집합, 완비 부분순서집합
concrete semantics
구체적 의미, 의미, 의미구조, 요약 전 의미(구조)
transitivity
번짐성, 연쇄성
operand
연산대상, 연산재
quick sort
휙 정렬
quicksort
휙 정렬
program repair
프로그램고치기
backwards compatibility
옛것과 잘 맞음, 역호환성, 기능 계승, 여전함
synchronous programming
다하고넘어가는 프로그램짜기, 기다리는 프로그램 짜기, 정박자 프로그래밍, 지켜보기 프로그래밍, 차례있는 프로그램짜기, 합맞추기 프로그래밍