PMAN - Paper management system

Frequent tags in this search:

4 publications are found. : URL for this page. : HTML

Academic Journal

[1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成法に基づくJavaScriptプログラム型検査の機械実行," 電子情報通信学会論文誌, volume J89-D, number 4, pages 693-704 April 2006.

Domestic Conference

[1] H.Ohkubo, S.Yamamoto, T.Sakabe, Y.Inagaki, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pages 77-88 March 2007. [50.pdf]

Workshop

[1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づく JavaScriptプログラム型検査のためのフロントエンド," 信学技報, volume 104, number 242(ISSN 0913-5685), pages 41--46 August 2004. [2.pdf]

[2] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "形式的手法に基づく JavaScriptプログラムの型検査系の実現," 信学技報, volume 104, number 47(ISSN 0913-5685), pages 13--18 May 2004. [3.pdf]