拡張1パス型属性文法に基づくコンパイラ生成系の実現
スポンサーリンク
概要
- 論文の詳細を見る
属性文法は,コンパイラの仕様記述に向いており,コンパイラ生成系への応用が行なわれている.本稿では,簡潔な記述より効率の良いコンパイラを自動生成することを目指した拡張1パス型属性文法を提案し,この文法を元に開発したコンパイラ生成系EAGLEを紹介する.拡張1パス型属性文法は,簡潔な文法記述のために正規右辺文法を採用している.また,文法記述からバックパッチ処理を自動生成することにより,1パスで評価可能か否かを考慮せずに文法を記述できる.さらに,本文法では,属性値主導構文解析を可能にするための記法も用意している.本稿では,拡張1パス型属性文法にしたがった属性評価の方法,および,与えられた文法が属性値主導のLL(1)構文解析により解析可能か否かを判定する方法も述べる.コンパイラ生成系EAGLEは,従来の属性文法に基づくコンパイラ生成系に比べ,0.78倍の記述量でPascal Sコンパイラを記述できた.生成されたコンパイラの実行時間は手書きに比べ1.6倍となり,自動生成のコンパイラとしては良い結果が得られた.
- 1994-06-03
著者
-
中川 裕之
キヤノンソフトウェア株式会社システム研究所
-
中川 裕之
キヤノンソフトウェア(株)
-
大木 康幸
(株)日立製作所ビジネスソリューション事業部
-
中田 育男
筑波大学電子情報工学系
-
山下 義行
筑波大学電子・情報工学系
-
中田 育男
法政大学情報科学部
-
平見 知久
筑波大学理工学研究科
-
大木 康幸
筑波大学
-
平見 知久
筑波大学
-
大木 康幸
(株)日立製作所
関連論文
- 先進ITを活用した映像アーカイブシステム
- 資源ピークを緩和するために資源共用コミュニティを利用する際の適切な所有資源の計算方法(コンテンツ技術, Web情報システム)
- 超並列計算機用NCX言語処理系の試作
- データ並列言語NCXの分散メモリMIMD並列計算機用コンパイラ
- 条件分岐を考慮したソフトウェアパイプラインにおけるレジスタ割付け
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- 疎行列演算プログラムの並列化の一方法
- 属性文法の複雑さ (<解説> 属性文法とその応用-IV)
- 先進ITを活用した映像アーカイブシステム
- 放送業務を支える点滅・サブリミナル映像検査システムMediachef/FLICKER CHECK Advance(メディアシェフ/フリッカーチェック アドバンス) (特集:点滅映像等検出装置--機能と特徴)
- シーン単位の映像ハンドリングに基づく映像粗編集方式
- 拡張1パス型属性文法に基づくコンパイラ生成系の実現
- 属性値主導型 拡張LL(1)文法の提案
- 組文脈自由文法に基づくプログラミング言語Grampとそのコンパイル技法
- 属性文法を基にした制御系向け仕様記述のビジュアル化
- 属性文法を基にした制御系向け階層型プログラミング(3)
- CP-PACSのアーキテクチャの概要
- スライドレジスタ割付問題の厳密解法
- スライドウィンドウを考慮したレジスタ割付
- 条件分岐を含むループの最適なソフトウェア・パイプライニング
- レジスタ割付からみたスライドウインドウアーキテクチャの優位性について
- スライドウインドウを考慮したレジスタ割付
- 5L-2 条件分岐向けソフトウェアパイプラインスケジューラの実装
- 条件分岐を考慮したループ並列化の1手法
- 4L-7 コンパイラにおける記号表処理部の自動生成系
- 字句解析器生成系での最短一致法の提案
- 属性文法に基づいたインクリメンタルなPascal-Sコンパイラ
- LR属性文法に基づいたインクリメンタルな属性評価
- インクリメンタルなLR構文解析の一方式の提案とその評価
- インクリメンタルなLR構文解析の一方式の提案とその評価
- インクリメンタルなLR構文解析器におけるエラー処理方式の提案
- HIRの説明と簡単な言語のフロントエンド(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載2)
- 概要(21世紀のコンパイラ道しるべ : COINSをベースにして)
- 拡張1パス型属性文法によるコンパイラ生成系の実現
- 拡張1パス型属性文法の提案
- 意味情報を利用したLL(1)構文解析の一手法
- 拡張LL(1)パーサ生成系の提案
- 一般相対論用 汎用CGプログラムの開発
- リターゲッタブルコード生成(最新コンパイラ技術とCOINSによる実践)
- 1パス型属性文法におけるバックパッチ処理の自動生成
- 属性文法を基にした制御系向け階層型プログラミング(2)
- 属性文法を基にした制御系向け階層型プログラミング(1)
- オブジェクト図とペトリネットを用いたシステムの表現方法の提案
- LIRの説明とバックエンドの概要説明(21世紀のコンパイラ道しるべ・・COINSをべースにして)
- LIR : COINSプロジェクトの低水準中間言語
- データ並列型言語NCXにおける通信コストと仮想プロセッサマッピング
- 相対性理論のコンピュータグラフィックス
- 一般相対論用汎用CGプログラムの開発
- 一般相対論的4次元時空における幾何モデリングの汎用的手法
- 基本ソフトウェアの記述ツール(ソフトウェアツール 1 : 段計・記述)
- スライドウィンドウを考慮したレジスタ割り付け
- ストリームによるプログラミングのための言語とその実現方式
- ストリームによるプログラミングのための言語とその実現方式
- 非正準LR構文解析と拡張LR構文解析の提案
- 正規右辺文法の効率のよい LR パーサの簡単な実現法
- 1パス型属性文法に基づくコンパイラ生成系Rie
- 正規右辺属性文法と1パス再帰降下属性評価器の生成
- 時相属性文法を用いたユーザインタフェース記述のX-Windowへの適用
- 演算子順位を利用した再帰的下向き構文解析器生成系の実現
- ストリーム・プログラミングのための図式表示を利用した開発支援環境について
- 3. 超並列計算機 CP-PACS のソフトウェア ( 計算物理学と超並列計算機 : CP-PACS計画)
- 正規右辺属性文法の一提案
- 時相属性文法によるグラフィカル・ユーザーインターフェースの記述
- 多次元文脈自由文法とそのLLおよびLR構文解析法
- 再帰的下向き構文解析における演算子順位構文解析
- 正規右辺文法の再帰降下パーサの効率のよい生成法
- 2-1. 先進ITを活用した映像アーカイブシステム(アーカイブの最新技術,2. アーカイブ技術)