초록
수식의 자료형 확인을 위하여 많이 사용하는 방법의 하나가 속성문법이다, 그런데 이 속성문법은 구성하기가 어려운 단점이 있다. 파싱 과정을 잘 이해하고 속성문법의 두 개의 속성들을 사용하여야 하기 때문이다. 그래서 본 논문에서는 이 수식 속성문법의 구성을 보다 쉽게 하기 위한 방법을 제시한다. 문법 구성을 통하여 하나의 속성만으로 수식의 자료형 확인이 가능함을 보여준다.
One of the methodologies for the type-checking of an expression is the attribute grammar. But this attribute grammar is difficult to write because two attributes should be used with the full understanding of parsing steps. So this paper proposes a methodology to construct an expression attribute grammar easily. It shows the possibility to check the type of an expression with only one attribute through a grammar construction method.
