書誌事項
- タイトル別名
-
- On Formalization of Object Oriented Attribute Grammars OOAG and Higher Order Attribute Grammars Using Record Calculus
- オブジェクト シコウ ゾクセイ ブンポウ OOAG ト コウカイ ゾクセイ ブ
この論文をさがす
説明
<p>本論文では,まずCardelliのレコードとλ計算に基づいて,属性文法の表示的意味を与える.この表示的意味は,属性つき木を入れ子のレコードで表現した簡潔で自然な意味づけとなっており,属性つき木の構造の情報を損なわないことが特徴である.これまでの属性文法の表示的意味は属性つき木中の属性への付値として与えられている.これに対して,我々の表示的意味は属性つき木自体を意味の直接の対象とする. 構造指向開発環境の記述を目的とする,属性文法に基づく計算モデルは,導出木の一部の変形を仮定しているものが多い.我々の表示的意味はこれらの計算モデルの形式的な定義の基礎となることを目的としている.その一例として,我々の表示的意味を拡張して,計算モデルOOAGと高階属性文法に形式的な定義を与える.これらはどれも「属性つき木に対する属性値に依存した変形」が可能な計算モデルである.この形式化の結果として,高階属性文法とOOAGとの属性つき木の変形の概念の違いを形式的に議論することが可能となる.OOAGは,高階属性文法とは異なり,次の状態を決定する関数により属性つき木の変形をモデル化していることを明らかにする.</p>
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 12 (3), 3_222-3_242, 1995-05-15
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282763061363840
-
- NII論文ID
- 130007505193
- 110003743857
-
- NII書誌ID
- AN10075819
-
- NDL書誌ID
- 3607729
-
- ISSN
- 02896540
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDLサーチ
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可
