文献
J-GLOBAL ID:201802211857775323
整理番号:18A1365213
関数プログラムにおける静的依存対法
Static Dependency Pair Method in Functional Programs
著者 (1件):
KUSAKARI Keiichirou
(Informatics Course, Department of Electrical, Electronic and Computer Engineering, Faculty of Engineering, Gifu University)
資料名:
IEICE Transactions on Information and Systems (Web)
(IEICE Transactions on Information and Systems (Web))
巻:
E101.D
号:
6
ページ:
1491-1502(J-STAGE)
発行年:
2018年
JST資料番号:
U0469A
ISSN:
1745-1361
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)