정보·컴퓨터/프로그래밍 언어론
-
의미 분석(Semantic Analysis)정보·컴퓨터/프로그래밍 언어론 2019. 8. 27. 22:37
의미 분석 개념 의미 분석이란, 프로그램의 선언과 진술이 의미론적으로 정확한지 확인하는 작업이다. 즉, 프로그램의 의미가 명확하고 제어 구조와 데이터 형식을 사용해야 하는 방식과 일치하는지 확인하는 작업이다. 수행하는 검사를 쉽게 풀어 설명하자면 아래와 같다. 유형 검사(Type Check) 데이터 유형은 정의에 부합하는 방식으로 사용됨(즉, 호환되는 데이터 유형에만 적용되며, 이에 대해 정의된 작업에만 해당) 라벨 검사(Label Check) 프로그램의 라벨 참조가 존재해야 한다. 흐름 제어 검사(Flow control Check) 반드시 적절한 방식으로 제어 구조를 사용해야 함(루프 또는 스위치 문을 벗어나지 않음(break를 사용하지 않음) 등) 인터프리터 구조 일반적으로 인터프리터의 구조를 아래와..