文献
J-GLOBAL ID:202302279092571795   整理番号:23A2604507

グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査

Lightweight Static Type Checking of Graph Manipulation in Graph Rewriting Languages.
著者 (2件):
資料名:
巻: 40th  ページ: ROMBUNNO.34-R-S (WEB ONLY)  発行年: 2023年 
JST資料番号: U1746A  ISSN: 1349-3515  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
・グラフ書換え言語では,部分グラフから部分グラフへの書換えとして記述されるグラフの操作については,軽量な型安全性の検証手法が課題。
・グラフ書換え言語を対象とする静的かつ軽量な型検査手法として,型の差分情報に基づくLMNtypeを新たに提案。
・LMNtypeでは,局所的な接続関係に着目して型検査を行うが,入出力の方向性に加えてそこを流れるデータの種類にも着目。
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算理論 
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る