LR属性文法に基づいたインクリメンタルな属性評価
スポンサーリンク
概要
- 論文の詳細を見る
一度解析したプログラムの変更に対して, 変更箇所から影響を受ける範囲のみの再解析を行うインクリメンタルな解析について研究が行われている. 構文解析に関しては, 従来からある構文解析法をもとにインクリメンタルな構文解析法が提案されてきており, また, 意味解析に関しては, 属性文法に基づいたインクリメンタルな属性評価法が提案されている. 近年のプログラミング言語は1パス型属性文法で記述できるものも多く, この属性評価は効率が良いため, それを対象にした構文・意味解析器生成系も作成されている. しかしながら, インクリメンタルな解析においては1パス型属性文法に基づいたものは提案されていない. また, 従来提案されたインクリメンタルな解析法ではエラーの存在に対してはほとんど考慮されていなかった. 本論文では, LR構文解析と同時に属性評価が可能なLR属性文法に基づいたインクリメンタルな属性評価法を提案する. まず, 最も簡単なアルゴリズムを述べ, 次に, 部分本の再利用によってエラー発生時の処理が行え, 再解析の効率を向上できるように拡張したアルゴリズムを述べる. これらに基づいて, 処理系を実現し, 解析時間の測定を行った. 前者の簡単なアルゴリズムの場合は, 最初の解析に比べ, 再解析時間がそれと同程度かかる場合が存在するが, 後者の拡張したアルゴリズムでは部分木の再利用により, かなり効率良く解析でき, 1回以上再解析をする場合は, インクリメンタルな方法の方が時間が短かくなることが分かった.
- 一般社団法人情報処理学会の論文
- 1996-12-15
著者
-
佐々 政孝
東京工業大学大学院情報理工学研究科
-
中井 央
図書館情報大学
-
山下 義行
静岡大学情報学部
-
中田 育男
筑波大学電子情報工学系
-
山下 義行
筑波大学電子・情報工学系
-
中井 央
筑波大学工学研究科
-
中田 育男
法政大学情報科学部
関連論文
- 属性文法に基づくテストプログラム生成器の設計と実装
- 属性文法の系統的デバッグ法
- 双方向CTLによるJava最適化器の生成
- VoIPにおける音声品質補償方式の検討
- 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
- リサーチ9 コンパイラにおける字句解析・構文解析過程の視覚化
- コンパイラにおける構文解析過程の視覚化
- 超並列計算機用NCX言語処理系の試作
- データ並列言語NCXの分散メモリMIMD並列計算機用コンパイラ
- 条件分岐を考慮したソフトウェアパイプラインにおけるレジスタ割付け
- 静的単一代入形式を用いた最適化(発展編)(最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式を用いた最適化(導入編)(最新コンパイラ技術とCOINSによる実践)
- 式の出現に基づく大域値番号付け
- コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現
- 疎な要求駆動型データフロー解析
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載6)
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)(21世紀のコンパイラ道しるべ・・COINSをベースにして)
- 静的単一代入形式からの逆変換アルゴリズムの比較と評価
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- アセンブリ言語上でのプログラム特化
- 疎行列演算プログラムの並列化の一方法
- 属性文法の複雑さ (<解説> 属性文法とその応用-IV)
- 拡張1パス型属性文法に基づくコンパイラ生成系の実現
- 属性値主導型 拡張LL(1)文法の提案
- 組文脈自由文法に基づくプログラミング言語Grampとそのコンパイル技法
- SSA形式によるレジスタ割付
- CP-PACSのアーキテクチャの概要
- スライドレジスタ割付問題の厳密解法
- スライドウィンドウを考慮したレジスタ割付
- 条件分岐を含むループの最適なソフトウェア・パイプライニング
- レジスタ割付からみたスライドウインドウアーキテクチャの優位性について
- スライドウインドウを考慮したレジスタ割付
- 5L-2 条件分岐向けソフトウェアパイプラインスケジューラの実装
- 条件分岐を考慮したループ並列化の1手法
- 4L-7 コンパイラにおける記号表処理部の自動生成系
- 字句解析器生成系での最短一致法の提案
- 5C-2 コンパイラにおけるインタラクティブなエラー処理方法の提案
- 属性文法に基づいたインクリメンタルなPascal-Sコンパイラ
- LR属性文法に基づいたインクリメンタルな属性評価
- インクリメンタルなLR構文解析の一方式の提案とその評価
- インクリメンタルなLR構文解析の一方式の提案とその評価
- インクリメンタルなLR構文解析器におけるエラー処理方式の提案
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- HIRの説明と簡単な言語のフロントエンド(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載2)
- 概要(21世紀のコンパイラ道しるべ : COINSをベースにして)
- 拡張1パス型属性文法によるコンパイラ生成系の実現
- 一般相対論用 汎用CGプログラムの開発
- リターゲッタブルコード生成(最新コンパイラ技術とCOINSによる実践)
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- 1パス型属性文法におけるバックパッチ処理の自動生成
- LIRの説明とバックエンドの概要説明(21世紀のコンパイラ道しるべ・・COINSをべースにして)
- LIR : COINSプロジェクトの低水準中間言語
- SSA形式を中間言語とするコンパイラの属性文法による定式化と開発(一般発表)
- 属性文法によるSSA上の最適化器記述
- 属性文法に対するデバッガ
- 循環属性文法に基づく生成系Junについて
- 属性文法に対するデバッグ方式の構想
- 木属性文法とGUI生成系を利用したデバッガの作成
- 異機種分散環境上でのDcamlバイトコードコンパイラの設計と実現
- 異機種分散環境上でのDcamlネイティブコンパイラの設計と実現
- 異機種分散環境上のアプリケーション開発環境Dcamlシステムの構想
- データ並列型言語NCXにおける通信コストと仮想プロセッサマッピング
- 相対性理論のコンピュータグラフィックス
- プロセッサのグループ化による超並列プログラム実行の可視化
- 一般相対論用汎用CGプログラムの開発
- 一般相対論的4次元時空における幾何モデリングの汎用的手法
- 基本ソフトウェアの記述ツール(ソフトウェアツール 1 : 段計・記述)
- スライドウィンドウを考慮したレジスタ割り付け
- ストリームによるプログラミングのための言語とその実現方式
- ストリームによるプログラミングのための言語とその実現方式
- プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価
- 低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送
- 高速実行可能な低レベル命令セット仮想計算機の設計
- 非正準LR構文解析と拡張LR構文解析の提案
- 正規右辺文法の効率のよい LR パーサの簡単な実現法
- 東京工業大学における情報教育(物理と情報)
- 属性文法に対する系統的デバッグ方式
- 属性文法記述に基づくプログラミング環境の生成方式
- 1パス型属性文法に基づくコンパイラ生成系Rie
- フリーソフトウェアの開発と保守作業に関する考察 : コンパイラ生成系Rieを例として
- 正規右辺属性文法と1パス再帰降下属性評価器の生成
- 時相属性文法を用いたユーザインタフェース記述のX-Windowへの適用
- 演算子順位を利用した再帰的下向き構文解析器生成系の実現
- ストリーム・プログラミングのための図式表示を利用した開発支援環境について
- 3. 超並列計算機 CP-PACS のソフトウェア ( 計算物理学と超並列計算機 : CP-PACS計画)
- 正規右辺属性文法の一提案
- 時相属性文法によるグラフィカル・ユーザーインターフェースの記述
- 多次元文脈自由文法とそのLLおよびLR構文解析法
- 再帰的下向き構文解析における演算子順位構文解析
- 正規右辺文法の再帰降下パーサの効率のよい生成法