6J-09
Incremental Pattern Matchingによる階層グラフ書換え言語LMNtalの高速化
○松澤　望，上田和紀（早大）
　階層グラフ書換え言語LMNtalは,階層グラフを対象にグラフの照合と書き換えの繰り返しによって多様な計算システムをモデル化するモデル記述言語である.グラフ書換え系では照合で得られたグラフに対してそのグラフの一部のみを書き換えるようなルールがあるとき,同一のグラフに対する照合の再計算が頻繁に起きる.そうした不要な再計算を防ぐために照合情報をキャッシュとして持つIncremental Pattern Matching(IPM)が存在する.
　本研究では,LMNtalプログラムが与えられたときにIPMに基づく照合を行うLMNtalプログラムへ変換することで実行効率を向上させる最適化手法を提案する.
footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会