コンピュータ ソフトウェア
Print ISSN : 0289-6540
階層グラフ書換え言語LMNtalの処理系
村山 敬工藤 晋太郎櫻井 健水野 謙加藤 紀夫上田 和紀
著者情報
ジャーナル フリー

25 巻 (2008) 2 号 p. 2_47-2_77

詳細
PDFをダウンロード (350K) 発行機関連絡先
抄録

LMNtalは階層グラフ書換えに基づく言語モデルであり,リンク構造による接続構造と膜による階層構造の表現・操作機能によって,動的データ構造や多重集合書換えを扱うプログラムを簡潔に記述することができる.LMNtalは書換え規則の適用を単位とする細粒度の並行性をもっており,正しく効率的な実装方式は自明でない.そこで言語処理系をJavaを用いて開発し,効率をできるだけ犠牲にせずに正しく動作する実装方式を確立した.処理系は中間命令列へのコンパイラ,その解釈実行系及びJavaソースへのトランスレータからなり,他言語インタフェースをはじめとするさまざまな有用な機能を備えている.複数の膜を貫くリンク構造を正しくつなぎかえるための処理や,複数の膜にある書換え規則を正しく非同期実行させるための工夫も行っている.本論文では,処理系開発において主要な技術的課題となった階層グラフ構造の保持方法,中間命令体系,安全な非同期実行方式等を中心として,公開中のLMNtal処理系の設計と実装について論じる.

著者関連情報
© 日本ソフトウェア科学会 2008
前の記事 次の記事

閲覧履歴
feedback
Top