WEKO3
アイテム
リフレクティブなグラフ書換え言語REGREL
https://ipsj.ixsq.nii.ac.jp/records/71438
https://ipsj.ixsq.nii.ac.jp/records/714387fd2fbda-e66e-4180-84c1-b8e0c49bf68c
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Trans(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2010-12-10 | |||||||
タイトル | ||||||||
タイトル | リフレクティブなグラフ書換え言語REGREL | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Reflective Graph Rewriting Language REGREL | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 発表概要 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
著者所属 | ||||||||
東京理科大学大学院理工学研究科情報科学専攻 | ||||||||
著者所属 | ||||||||
東京理科大学理工学部情報科学科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science, Graduate School of Sciences and Technology, Tokyo University of Sciences | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science, Tokyo University of Sciences | ||||||||
著者名 |
東, 達軌
× 東, 達軌
|
|||||||
著者名(英) |
Tatsuki, Higashi
× Tatsuki, Higashi
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 近年では,計算の対象としてあげられる問題は多様化しており,様々な問題領域の構文や意味論を任意に設定可能であるようなプログラミング環境が望まれている.本研究では,そのような汎用のメタプログラミング環境の構築を目的としている.本発表ではそのような環境で用いる計算モデルの1つとして,リフレクティブなグラフ書換え言語REGRELを提案する.REGRELは頂点と接続の両方にラベルを持つ有向グラフを書換え対象とするグラフ書換え系である.プログラムの構造やその値をグラフで表現し,計算の意味を書換え規則で表現する.書換え規則自体もまたグラフで表現されているため,高階書換えを行うことが可能である.そして,高階書換えによってリフレクションを表現することができる.REGRELの動作は並行動作,非決定性動作を基本としている.逐次動作,決定性動作はその特別な場合として扱う.また,分類と呼ばれる機構を持ち,書換え規則の適用範囲を制限することができる.本発表ではREGRELの定義を示し,その応用としてアクターモデルなどいくつかの計算モデルの表現方法を示す.また,評価戦略の決定や計算順序の制御など基本的な言語機能の表現を,REGRELの基本機能によって表現できることを示す.最後に,他のグラフ書換え系との比較について論じる. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Domains for computational application become diverse and programming environment that can use various syntax and semantics for such domains is required. We propose reflective graph rewriting language REGREL to implement such multipurpose meta programming environment. REGREL is graph rewriting system, which rewrite digraphs that have labeled nodes and arcs. Program structures and values are represented by graph, and semantics is represented by rewriting rules. Rewriting rules are also expressed by graphs. Thus, higher-order rewriting rules are able to realize reflection. The REGREL's behaviors are based on concurrent and nondeterministic operations, and sequential/deterministic behaviors are special cases for them. And, REGREL has a classification mechanism, which limit the scope of rules. In this presentation, we show definitions of REGREL at first, and describe to express other computational models such as the actor model by REGREL. It is shown that REGREL can controll computational sequences and customize the evaluation strategies using basic functions. At last, we discuss comparisons between REGREL and other graph rewriting systems. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11464814 | |||||||
書誌情報 |
情報処理学会論文誌プログラミング(PRO) 巻 3, 号 5, p. 30-30, 発行日 2010-12-10 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7802 | |||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |