A Type System for Detecting Non-Terminating Stream Operations with Java Stream API
A Type System for Detecting Non-Terminating Stream Operations with Java Stream API
复制标题
使用 Java Stream API 检测非终止流操作的类型系统
DOI：
10.11309/jssst.37.2_59
复制
发表时间：
2020
影响因子：
--
通讯作者：
國枝 義敏
中科院分区：
文献类型：
--
作者：
長谷川 健太;桑原 寛明;國枝 義敏
本論文では, Stream API を用いる Java プログラム中の停止しないストリーム操作を検出するための型システムを提案する. Java Stream API を用いることでデータ集合に対する操作を宣言的に記述できる. Java Stream API には多くのストリーム操作があり, ストリーム中の要素が有限個のストリームと無限個のストリーム双方に対して適用できるが, いくつかの操作は無限個の要素を持つストリームに対して停止しない可能性がある. 本論文で提案する型システムは無限個の要素を持つストリームに対して停止しない操作を検出できる. 型システムの健全性を証明し, 型システムに基づく型検査器を Checker Framework を用いて実装した.