クニエダ ヨシトシ
國枝 義敏
KUNIEDA Yoshitoshi
所属 情報理工学部 情報理工学科
職名 教授
発表年月日 2018/03/05
発表テーマ JavaのStream APIによるストリーム操作の停止性を検査する型システム
会議名 第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)
主催者 日本ソフトウェア科学会
開催地名 鳥取県米子市皆生温泉「皆生グランドホテル天水」
学会区分 全国学会
発表形式 ポスター
単独共同区分 共同
発表者・共同発表者 長谷川健太, 吉田真也,桑原寛明,上原哲太郎,國枝義敏