하이라이트
coinduction
전체부터 다듬어가기, 무한한것포함시키기, 코인덕, 코덕
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기, 모아서 이끌기
callee
불린이, 불림이
caller
부른이, 부름이, 호출자
context-sensitive grammar
눈치보는 문법, 센스있는 문법
context-free grammar
맥락 무시 문법, 눈치안보는 문법, 조건없는 문법, 무조건 문법, 눈치없는 문법, 센스없는 문법, 맥락 무관 문법
downtime
단절시간, 장애시간
agent
요원, 인공지능 요원, 전문요원
concretization
복원
axiomatic semantics
논리형 의미구조
binder
바인더
atomicity
원자성, 무중간, 불가분 성질
dangling pointer
헛 포인터, 오리알 포인터, 재활용된 메모리, 오염된 메모리, 대롱대롱 포인터
boilerplate
붕어빵 코드, 뻔한코드, 찍어낸 코드, 판박이
big-step semantics
한번에 의미구조, 성큼성큼 의미구조, 한꺼번에 의미구조, 큰걸음 의미구조
small-step semantics
차근차근 의미구조, 하나씩 의미구조, 살금살금 의미구조, 잰걸음 의미구조
weakening
전제 약화
inductive defintion
귀납적 정의
widening
축지법, 넓히기
concrete domain
실제공간
abstract domain
요약공간
coverage
덮는 범위, 다루는 범위, 덮음률, 짚은범위, 커버율, 커버한범위, 실행범위, 보장범위, 덮도, 덮이, 점유도, 점령도, 실행자국, 흔적 , 진도 , 탐색률
correct-by-construction
구성에 따라 옳은, 만들때맞춤, 만들면 다맞는, 만들면서 올바름을 보장하는, 옳도록 만들어지는, 틀린걸만들수없는
race condition
순서 충돌, 순서 민감
traceability link
추적 실마리, 작업내역 링크
trace
실행 경로, 실행궤적, 실행발자국, 자취
transitional semantics
실행발자국 의미구조, 실행스텝 의미구조, 내딛는 의미구조
transition
내딛기
regression test
여전한지 검사 / 여전한지 검사하기 / 여전한지 테스트, 퇴행방지검사, 퇴행검사, 굳히기 검사, 뒷걸음질치기 검사, 후퇴방지 검사
precondition
시작조건, 전제조건, 첫조건
peephole optimization
틈새 최적화, 꼬마 최적화
weak update
덧붙여쓰기, 합쳐쓰기