TTA정보통신용어사전

형식 검사, 形式檢査, type checking: 프로그램으로 수행되는 각 연산이 올바른 자료형의 인수들을 올바로 받는지 행하는 검사. 동적 형식 검사와 정적 형식 검사가 있다. 동적 형식 검사는 실행 시간 때에, 정적 형식 검사는 컴파일 시간 때에 행해진다.

이전 수정문의 공유하기