文献

J-GLOBAL ID：201902219418354340   整理番号：19A2890206

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

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

シソーラス用語： *項書換え系 ,  *プログラミング言語 ,  グラフ ,  グラフ理論 ,  プログラム解析 ,  データ型 ,  型理論 ,  静的コード解析
準シソーラス用語： *項書換えシステム ,  静的解析 ,  型検査

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

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