Research keywords (5):
Process Calculus
, Information Flow Analysis
, Type System
, Program Analysis
, Software Engineering
Research theme for competitive and other funds (5):
2018 - 2021 仮想開発者によるソフトウェア自動修正と進化推薦
2017 - 2020 情報流解析による安全性検証に基づく実用的なソフトウェア開発支援
2012 - 2015 情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援
2009 - 2012 ソフトウェア変更が安全性に与える影響の解明
2006 - 2009 新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
Papers (29):
Kenta Hasegawa, Hiroaki Kuwabara, Yoshitoshi Kunieda. A Type System for Detecting Non-TerminatingStream Operations with Java Stream API. Computer Software. 2020. 37. 2. 59-75