2013.02.04 論文掲載 末永 幸平

末永幸平研究者がハイブリッドシステムの検証のための「ハイパーストリーム処理モデル」についての論文をPOPL 2013 で発表しました。

関連リンク

http://dl.acm.org/citation.cfm?doid=2429069.2429120

関連する研究者

末永 幸平
江波進一の業績が”Nature Chemistry”の”News and Views”で紹介されました。
末永幸平研究者が型システムを用いて資源のリークを防ぐ形式手法についての論文を SPLASH 2012 の OOPSLA Research Paper として発表しました。