통합검색
통합검색
용어사전
시사상식
TTA표준
기타참고
국립국어원
형식 검사, 形式檢査, type checking
프로그램으로 수행되는 각 연산이 올바른
자료형
의 인수들을 올바로 받는지 행하는 검사. 동적
형식 검사
와 정적
형식 검사
가 있다. 동적
형식 검사
는
실행 시간
때에, 정적
형식 검사
는
컴파일 시간
때에 행해진다.
이전
수정문의
공유하기
관련뉴스
Copyright ⓒ TTA All Rights Reserved.
소개