하이라이트
쉬운 전문용어 1234개
AIGH
multimodal
여러 입출력 양식, 다중 입출력 양식, 여러 방식
3·3시간 전
GH
contextual inquiry
현장 조사
2·19일 전
PL
expression
식, 계산식, 프로그램식
9·한 달 전
PL
coinduction
전체부터 다듬어가기, 무한한것포함시키기, 코인덕, 코덕, 깎아서 이끌기
13·한 달 전
vacuously true
따질 필요 없다, 헛헛한 참
2·한 달 전
PL
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기, 모아서 이끌기
14·한 달 전
PL
callee
불린이, 불림이
2·2달 전
PL
caller
부른이, 부름이, 호출자
4·2달 전
PL
context-sensitive grammar
눈치보는 문법, 센스있는 문법
1·2달 전
PL
context-free grammar
맥락 무시 문법, 눈치안보는 문법, 조건없는 문법, 무조건 문법, 눈치없는 문법, 센스없는 문법, 맥락 무관 문법
12·2달 전
NWSC
downtime
단절시간, 장애시간
2·2달 전
AI
agent
요원, 인공지능 요원, 전문요원
4·2달 전
PL
concretization
복원
1·2달 전
PL
axiomatic semantics
논리형 의미구조
1·2달 전
PL
binder
바인더
2·2달 전
DB
atomicity
원자성, 무중간, 불가분 성질
5·2달 전
PL
dangling pointer
헛 포인터, 오리알 포인터, 재활용된 메모리, 오염된 메모리, 대롱대롱 포인터
6·2달 전
PLALSEOS
boilerplate
붕어빵 코드, 뻔한코드, 찍어낸 코드, 판박이
5·2달 전
PL
big-step semantics
한번에 의미구조, 성큼성큼 의미구조, 한꺼번에 의미구조, 큰걸음 의미구조
4·2달 전
PL
small-step semantics
차근차근 의미구조, 하나씩 의미구조, 살금살금 의미구조, 잰걸음 의미구조
4·2달 전
PL
weakening
전제 약화
1·2달 전
PL
inductive defintion
귀납적 정의
2·2달 전
PL
widening
축지법, 넓히기
2·2달 전
PL
concrete domain
실제공간
1·2달 전
PL
abstract domain
요약공간
1·2달 전
PLSE
coverage
덮는 범위, 다루는 범위, 덮음률, 짚은범위, 커버율, 커버한범위, 실행범위, 보장범위, 덮도, 덮이, 점유도, 점령도, 실행자국, 흔적 , 진도 , 탐색률
21·2달 전
PL
correct-by-construction
구성에 따라 옳은, 만들때맞춤, 만들면 다맞는, 만들면서 올바름을 보장하는, 옳도록 만들어지는, 틀린걸만들수없는
11·3달 전
PLSEOSAR
race condition
순서 충돌, 순서 민감
2·3달 전
SE
traceability link
추적 실마리, 작업내역 링크
2·3달 전
PL
trace
실행 경로, 실행궤적, 실행발자국, 자취
5·3달 전
PL
transitional semantics
실행발자국 의미구조, 실행스텝 의미구조, 내딛는 의미구조
2·3달 전
PL
transition
내딛기
1·3달 전