属性文法に基づく実用的なコンパイラ生成系のフリーソフトウェアの開発

1995 Fiscal Year Annual Research Report

• Project/Area Number: 05558028
• Research Institution: TOKYO INSTITUTE OF TECHNOLOGY
• Principal Investigator: 佐々 政孝 東京工業大学, 大学院・情報理工学研究科・数理・計算科学専攻, 教授 (20016182)
• Co-Investigator(Kenkyū-buntansha): 山下 義行 筑波大学, 電子・情報工学系, 助教授 (20220353) ; 徳田 雄洋 東京工業大学, 大学院・情報理工学研究科・計算工学専攻, 助教授 (30111644) ; 脇田 建 東京工業大学, 大学院・情報理工学研究科・数理・計算科学専攻, 助手 (10242265)
• Keywords: フリーソフトウェア / コンパイラ生成系 / 属性文法

Research Abstract

本研究は、属性文法に基づくコンパイラ生成系をフリーソフトウェアとして公開するものである。
1.Rieは、1パス型属性文法に基づく生成系である。これは、GNU Bisionをベースに、C言語で実装してある。Rieについては、平成6年度に1.0.5版を公開したが、平成7年度は寄せられたコメントやバグ情報への対応などを行い、GNU規格に基づいたフリーソフトウェアとして1.0.6版を公開した。これは、fjのニュースグループおよび世界的なネットワークであるusenetのニュースグループcomp.compilersでアナウンスし、具体的にはftp.is.titech.ac.jp:/pub/Rieよりanonymous ftpで入手できるようにした。これに対し、海外からはGNU規約をゆるめられないか等の問合せがあったり、国内ではfjのニュースグループで取り上げられたりしている。また、Rieを用いたコンパイラ記述に関する解説を図書に掲載した。
2.junは、属性文法に基づく、コンパイラのバックエンド用の生成系である。これはCommon Lispで実装してある。Junは、属性の依存関係にサイクルがある場合も扱うことが特徴で、これにより最適化器の定式化が可能になった。Junについては、前年度に引き続き、後述の使用経験を踏まえて改訂作業を行った。これをfj.lang.misc.fj.sources.dなどでアナウンスし、具体的にはftp.is.titech.ac.jp:/pub/junよりanonymous ftpで入手できるようにした。これについては[研究発表1]に発表した。
3.RieとJun双方を用いた実用規模言語に対するコンパイラ作成を行った。具体的には言語cのサブセットについて、フロントエンドをRieにより、最適化器、レジスタ割付け、コード生成器をJunにより記述することで、コンパラ作成を行った。そのうち、SSA形式中間表現に基づく最適化器を[研究発表2,3]に発表した。

Research Products

• [Publications] 佐々木晃,徳田雄洋,脇田建,佐々政孝: "後述属性文法に基づく生成系Jun" 日本ソフトウェア科学会大会論文集. 12. 293-296 (1995)
• [Publications] Chen,Y.,Sasaki,A.and Sassa,M.: "Farmulation of an Optimiger by Altibute Grammass for Static Single Assigement Form" 情報処理学会全国大会論文集. 51(5). 53-54 (1995)
• [Publications] Chen,Y.,Sasaki,A.and Sassa,M.: "Altibute Grammar Description of Optimiger gor Static Single Assignment Form" 情報処理学会プログラミング研究会. 96-PRO-5. 9-14 (1996)
• [Publications] Sassa,M. and Ookubo,T.: "Systematic Delngging Method for Altibute Grammar Description" Research Reports on Methematical and Computing Science. C-117. (1995)
• [Publications] 西野哲朗、片山卓也、佐々政孝(編): "属性文法入門" 共立出版, 158 (1996)