검색 바로가기
본문 바로가기
용어목록
용어제안
공지사항
소개
통합검색
통합검색
용어사전
시사상식
TTA표준
기타
국립국어원
완전 일치
부분 일치
시작 단어
끝단어
색인
ㄱ
ㄴ
ㄷ
ㄹ
ㅁ
ㅂ
ㅅ
ㅇ
ㅈ
ㅊ
ㅋ
ㅌ
ㅍ
ㅎ
0~9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
용어사전
인쇄
수정 문의
관련뉴스
형식 검사, 形式檢査, type checking
프로그램으로 수행되는 각 연산이 올바른
자료형
의 인수들을 올바로 받는지 행하는 검사. 동적 형식 검사와 정적 형식 검사가 있다. 동적 형식 검사는
실행 시간
때에, 정적 형식 검사는
컴파일 시간
때에 행해진다.