文献

J-GLOBAL ID：202302214381817461   整理番号：23A2604487

再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法

Optimization Methods for Iterative Pattern Matching based on Recursive Graph Patterns

著者 (4件)： 白井涼也 (早稲田大) ,  今川連 (早稲田大) ,  山本直輝 (早稲田大) ,  上田和紀 (早稲田大)
資料名： 日本ソフトウェア科学会大会講演論文集(Web)  (Proceeding of the JSSST Annual Conference (Web))
巻： 40th  ページ： ROMBUNNO.14-R-S (WEB ONLY)  発行年： 2023年 
JST資料番号： U1746A  ISSN： 1349-3515  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・本研究の目的は,グラフ書換え言語におけるパターンマッチにかかる実行時間を抑える手法の定式。
・グラフ書換え後,既にパターンマッチを行った部分グラフに対し再度パターンマッチを行う回数を削減し,再帰的なグラフパターンに基づく反復パターンマッチングを効率化。
・本手法を用いることにより,効率化した中間命令列において,効率化前と同等かそれ以上に実行時間のオーダーを落とせることを確認。

シソーラス用語： *グラフ ,  型 ,  動作 ,  *パターンマッチング ,  *効率化 ,  言語 ,  時間 ,  部分グラフ ,  行為 ,  反復 ,  *型紙 ,  *改変
準シソーラス用語： *パターン ,  実行時間 ,  命令

分類 (2件)： 計算理論  (JB02000A) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (5件)： グラフ ,  反復 ,  パターンマッチング ,  効率化 ,  手法