文献

J-GLOBAL ID：202402222642351208   整理番号：24A0733320

グラフ書き換え系におけるtoken passingを用いたグラフ型検査

Token-passing-style graph type checking in graph rewriting systems

クリップ

著者 (3件)： 山田啓太 (早稲田大) ,  山本直輝 (早稲田大) ,  上田和紀 (早稲田大)
資料名： 情報処理学会全国大会講演論文集
巻： 86th  号： 1  ページ： 1.113-1.114  発行年： 2024年03月01日 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・LMNtalは,様々なグラフ構造を簡潔に扱うことができるプログラミング言語であり,型概念の導入法として,グラフの生成規則を用いて型付けを行うLMNtal ShapeTypeを導入。
・このShapeTypeにおけるグラフ型は,生成規則の逆実行により検査可能であるが,効率が低く,本研究では,token passingを用いたグラフ型検査手法を提案。
・グラフの生成規則からの変換アルゴリズムを示し,この手法による型検査により,従来の型検査と比べ,状態空間が削減されることを確認。

シソーラス用語： *グラフ ,  *項書換え系 ,  *プログラミング言語 ,  データ型 ,  仕様記述 ,  型理論 ,  トークン ,  型システム
準シソーラス用語： *グラフ書換え

分類 (2件)： グラフ理論基礎  (IA02020S) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (3件)： グラフ書き換え ,  グラフ ,  型検査