文献

J-GLOBAL ID：202002235085451917   整理番号：20A2436316

グラフ書換え言語における数値制約を伴う型の静的型検査

Static Type Checking for Types with Numeric Constraints in Graph Rewriting Languages.

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

抄録/ポイント： ・書換え規則の型検査の手法として,グラフを対象とする静的型検査手法である”Structured Gamma”に基づく”LMNtalShapeType”は提案済み。
・”LMNtal ShapeType”に対してLMNtalの拡張機能である型付きプロセス文脈を援用。
・添字付きの非終端記号を表現することによって,数値制約を伴うグラフ型を対象とした書換え規則の型検査を行う手法を考察。

シソーラス用語： *項書換え系 ,  *プログラミング言語 ,  書換え規則 ,  仕様記述 ,  *型理論 ,  構文論 ,  意味論 ,  規則 ,  型システム
準シソーラス用語： グラフ書換え ,  プログラム意味論 ,  ルール ,  計算機言語

分類 (1件)： 応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (6件)： グラフ書換え ,  言語 ,  数値 ,  制約 ,  型 ,  型検査