2018년 사무자동화산업기사 1회차 57번

Question

컴파일러의 논리적 단계 중 자료형 검사(Type Checking)를 수행하는 단계는?

Accepted Answer

자료형 검사는 프로그램의 의미를 파악하는 **의미분석** 단계에서 수행됩니다. 이 단계에서는 변수, 함수 등의 자료형이 올바르게 사용되었는지, 연산에 사용된 자료형들이 호환되는지 등을 검사하여 프로그램의 논리적 오류를 방지합니다. 즉, 코드의 문법적인 오류를 넘어 실제 프로그램이 의도한 대로 동작할 수 있는지 의미론적인 측면을 확인하는 과정입니다.

2018년 사무자동화산업기사 1회차 57번 - 기출문제 및 해설

문제 1