• 検索結果がありません。

グラフ書き換え言語REGRELによるメタプログラミングの表現

N/A
N/A
Protected

Academic year: 2021

シェア "グラフ書き換え言語REGRELによるメタプログラミングの表現"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)情報処理学会論文誌. プログラミング. Vol. 4. No. 4. 37 (Sep. 2011). 発表概要. グラフ書き換え言語 REGREL による メタプログラミングの表現 東. 達 軌†1. 武. 田. 正. and nondeterministic operations, and sequential/deterministic behaviors are special cases for them. Such behaviors are expressed using structures named hierarchies which decide the order of applying rules, and structures named sorts which confine the graph to be rewrite. In this paper, 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 create specialized rewriting rules and evaluate rewriting rules partially using higher-order rewriting. At last, we discuss comparisons between REGREL and other graph rewriting systems.. 之†2. REGREL はグラフ構造の並行書き換えに基づくプログラミング言語である.この 言語は様々な意味論を表現することが可能な汎用のメタプログラミング言語モデルを 目指して設計されている.書き換え対象となるグラフ構造は,頂点と接続の両方にラ ベルを持つ有向グラフである.REGREL ではプログラムの構造やその値をグラフに よって表現し,計算の意味を書き換え規則で表現する.この書き換え規則もまたグラ フで表現されているため,高階書き換えを行うことが可能であり,そのことによって リフレクションを表現することができる.また REGREL の書き換えは,並行的かつ 非決定的に動作することを基本としている.逐次的,決定的な書き換え動作はそれら の特別な場合として表現される.そのような特別な動作は,書き換え規則の適用順序 を決定するための構造である階層や,書き換え規則の適用範囲を限定するための構造 である分類を用いることで表現することができる.本発表では REGREL の定義を示 し,その応用としてアクターモデルなどいくつかの計算モデルの表現方法を示す.ま た,書き換え規則の高階書き換えを行うことで特殊化した書き換え規則の生成や,書 き換え規則の部分評価を行う例を示す.最後に,他のグラフ書き換え系との比較につ いて論じる.. (平成 23 年 4 月 25 日発表). Meta-programming in Graph Rewriting Language REGREL Tatsuki Higashi†1 and Masayuki Takeda†2 REGREL is a concurrent graph rewriting language which rewrite digraphs that have labeled nodes and arcs. Our goal is a design of the multipurpose meta programming model to be able to express various semantics. The program structure and the value are represented by graph, and the semantics is represented by the rewriting rules. The rewriting rules are also expressed by graphs, so the rewriting rules can rewrite them. Thus, the higher-order rewriting rules can realize the reflection. The behaviors of REGLEL are based on concurrent. 37. †1 東京理科大学大学院理工学研究科情報科学専攻 Department of Information Science, Graduate School of Science and Technology, Tokyo University of Science †2 東京理科大学理工学部情報科学科 Department of Information Science, Tokyo University of Science. c 2011 Information Processing Society of Japan .

(2)

参照

関連したドキュメント

We describe a little the blow–ups of the phase portrait of the intricate point p given in Figure 5. Its first blow–up is given in Figure 6A. In it we see from the upper part of

The approach based on the strangeness index includes un- determined solution components but requires a number of constant rank conditions, whereas the approach based on

Inferences are performed by graph transformations. We look for certain patterns in the graph, each of which causes a new edge to be added to the graph, and an old edge to be

This paper derives a priori error estimates for a special finite element discretization based on component mode synthesis.. The a priori error bounds state the explicit dependency

Debreu’s Theorem ([1]) says that every n-component additive conjoint structure can be embedded into (( R ) n i=1 ,. In the introdution, the differences between the analytical and

The variational constant formula plays an important role in the study of the stability, existence of bounded solutions and the asymptotic behavior of non linear ordinary

These are intended to be a model-independent framework in which to study the totality of (∞, 1)-categories and related

New reductions for the multicomponent modified Korteveg de Vries (MMKdV) equations on the symmetric spaces of DIII-type are derived using the approach based on the reduction