In this thesis, attributed grammars are discussed as the parsable syntactic specification that can handle the context-sensitive aspects of the syntax of programming languages.
The formal definition of attributed grammars and the notion of attributed derivations are examined. A parsable class of attributed grammars, called ALL(K), is identified, and algorithms are presented for testing ALL(K) property and for generating the ALL(K) parser developed as an extension of the LL(K) technique.
본 논문에서는 프로그래밍 언어의 syntax에 있어서 context-sensitive한 요소를 다룰 수 있는 parsable syntactic specification으로서, 속성문법이 논의되었다.
먼저, 속성문법의 정의와 속성유도에 대한 논의가 언급되었고, 속성문법의 parsable class인 ALL(k) 문법이 분류되었다.
주어진 속성문법이 ALL(k) 성질을 가지고 있는가를 검사하는 algorithm과 ALL(k) parser를 생성하기 위한 algorithm들이 제시되었으며, LL(k) 기법의 확장으로서 개발된 ALL(k) parser의 correctness를 보였다.