애트리뷰트 문법을 이용한 컴파일러 개발 환경 구축에 관한 연구

Abstract

본 논문은 컴파일러와 같은 시스템 프로그램을 표현하기에 적합한 애트리뷰트 문법(Attribute Grammar-AG)을 이용하여, 이 문법에 근거한 새로운 명세 언어(specification language)를 제시하고, 범용 프로그래밍 언어로 작성된 컴파일러 프로그램을 자동 생성하는 컴파일러 자동 생성기를 개발하여 컴파일러 프로그램의 개발시간을 단축시키는 효율적인 컴파일러 개발 환경의 구축에 그 목적을 두고 있다. 이를 위해 애트리뷰트 문법에 근거한 명세 언어, EPANDA를 정의하고, 개발자가 이 EPANDA를 사용하여 개발한 프로그램을 입력으로 받아 범용 프로그래밍 언어 중 C 언어로 작성된 컴파일러 프로그램을 자동으로 생성하는 컴파일러 자동 생성기 CGA(Compiler Generator using Attribute grammar)를 설계, 구현하여 효율적인 컴파일러 개발 환경을 제안하였다.;In this thesis, the CGA(Compiler Generator using Attribute Grammar) system which provides an automatic generation of a compiler program written in general programming language, is developed. An attempt has been made in the CGA system to reduce the difficulties of program designer required to develop a compiler program. The EPANDA, new specification language, is defined for representing a system program like compiler, based on attribute grammar. Compiler program, which is constructed by program designer using the EPANDA, is input program for the CGA system, Then the CGA system generates a compiler program written in general programming language of C. The CGA system has benefit on construction for an efficient compiler development environment.