文献

J-GLOBAL ID：202202288258785198   整理番号：22A2319034

データ構造としてのグラフを対象とした型の表現力拡張

Extending the Expression Power of Types for Graphs as a Data Structure.

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

抄録/ポイント： ・グラフ書換え言語「LMNtal」は,グラフの書換えによって計算を表現するプログラミング言語としての側面と,一般の複雑なグラフ構造を扱うモデリング言語としての側面を兼備。
・グラフの型に関する枠組みとして形式文法に基づく「LMNtal ShapeType」を提案してきたが,ここでは,「LMNtal ShapeType」の定義や検査手法を拡張。
・特に,グラフ型を対象とした型検査手法を定式化。

シソーラス用語： 項書換え系 ,  プログラミング言語 ,  *応用向き言語 ,  *グラフ ,  データ構造 ,  検査 ,  構文論 ,  意味論 ,  *形式文法 ,  モデル検査
準シソーラス用語： グラフ書換え ,  モデリング言語 ,  型検査 ,  プログラム意味論

分類 (2件)： 応用プログラミング言語  (JD03052Y) ,  数理言語学  (JB05000V)

タイトルに関連する用語 (4件)： グラフ ,  型 ,  表現力 ,  拡張