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

1993 Fiscal Year Annual Research Report

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

Research Abstract

我々はこの数年来,属性文法に基づくコンパイラ生成系の研究を進めてきたが,今やその成果をまとめ,公開する時期に至ったと判断した.
平成5年度は,そのうち次を実現した.
1.我々の開発した1パス型属性文法に基づく生成系であるRieは,GNU Bisonをベースに,C言語で実装したシステムである.Rieについては,先日junetのニュースグループで初期版を公開したが,マニュアルの整備,大小の例題の整備,インストール法の解説,寄せられたコメントやバグ情報への対応などを行い,GNU規約に基づいたフリーソフトウェアとして改訂版を公開した.まず1.0.3版を国内向けに,続いて1.0.4版を世界的なネットワークであるusenetのニュースグループcomp.compilersへ公開した.その結果,1.0.4版は米国を中心に約100サイトにコピーされた.Rieの開発や保守の作業工数,公開に対する反応などについての考察を[参考文献1]に発表した.
2.Junは,木の上の属性文法に基づく,コンパイラのバックエンド用の生成系である.Junは,属性の依存関係に循環性のある場合も扱えることが特徴で,これにより最適化器の定式化が可能になった.Junについては,初期版の限界が明らかになっていたので,入力記述の仕様を改訂し,継承属性と合成属性とを対称的に扱うよう生成される属性評価器の形を変更し,全面的な書き直しを行った.実装言語はCommon Lispである.

Research Products

• [Publications] 大島芳樹: "フリーソフトウェアの開発と保守作業に関する考察-コンパイラ生成系Rieを例として" 情報処理学会第48回全国大会論文集. 48. 5H-1 (1994)
• [Publications] 佐々政孝: "1パス型属性文法に基づくコンパイラ生成系Rie" コンピュータソフトウェア. 10,3. 20-36 (1993)
• [Publications] Sassa,Masataka: "Rie-Introduction and User's Manual" ftp,is,titech,ac,jp:pub/Rieよりftp可能. (1993)
• [Publications] Sassa,Masataka: "Rie,a Compiler Generator Based on a One-Pass Attribute Grammar" Reserch Report,Dept.of Inf.Sci.,Tokyo Inst,of Tech.C-107. (1993)