文章基本信息

标题：Java Stream APIによるストリーム操作の停止性検査のための型システム
本地全文：下载
作者：長谷川健太 ; 桑原寛明 ; 國枝義敏等
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2020
卷号：37
期号：2
页码：59-75
DOI：10.11309/jssst.37.2_59
出版社：Japan Society for Software Science and Technology
摘要：本論文では，Stream APIを用いるJavaプログラム中の停止しないストリーム操作を検出するための型システムを提案する．Java Stream APIを用いることでデータ集合に対する操作を宣言的に記述できる．Java Stream APIには多くのストリーム操作があり，ストリーム中の要素が有限個のストリームと無限個のストリーム双方に対して適用できるが，いくつかの操作は無限個の要素を持つストリームに対して停止しない可能性がある．本論文で提案する型システムは無限個の要素を持つストリームに対して停止しない操作を検出できる．型システムの健全性を証明し，型システムに基づく型検査器をChecker Frameworkを用いて実装した．