Nagoya University · Faculty of Informatics / Graduate School of Informatics · 助教

Research keywordsformal methods・algebraic specifications・exception handling・program termination proofs・error specification

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 例外処理を持つ関数型プログラムの停止性・非停止性証明法2011 · 情報処理学会論文誌 プログラミング 4 巻 ( 2 ) 頁： 13-30 2011年3月
• *エラー付き代数的仕様とエラー記述の自動付加1995 · 電子情報通信学会論文誌 J78-D-I 巻 ( 3 ) 頁： 323-330 1995年

• Official profile
• KAKEN