文献

J-GLOBAL ID：202002211179640882   整理番号：20A1851706

Java Stream APIによるストリーム操作の停止性検査のための型システム

A Type System for Detecting Non-Terminating Stream Operations with Java Stream API

著者 (3件)： 長谷川健太 (立命館大学大学院情報理工学研究科) ,  桑原寛明 (南山大学情報センター) ,  國枝義敏 (立命館大学情報理工学部)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 37  号： 2  ページ： 2_59-2_75(J-STAGE)  発行年： 2020年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,Stream APIを用いるJavaプログラム中の停止しないストリーム操作を検出するための型システムを提案する.Java Stream APIを用いることでデータ集合に対する操作を宣言的に記述できる.Java Stream APIには多くのストリーム操作があり,ストリーム中の要素が有限個のストリームと無限個のストリーム双方に対して適用できるが,いくつかの操作は無限個の要素を持つストリームに対して停止しない可能性がある.本論文で提案する型システムは無限個の要素を持つストリームに対して停止しない操作を検出できる.型システムの健全性を証明し,型システムに基づく型検査器をChecker Frameworkを用いて実装した.(著者抄録)

シソーラス用語： *ソフトウェア設計 ,  ソフトウェア開発 ,  *Java ,  システムインタフェイス ,  ストリーミング ,  *停止問題 ,  プログラム検査 ,  支援プログラム ,  健全性 ,  定理証明 ,  *検査 ,  実装設計
準シソーラス用語： API【計算機】 ,  ソフトウェアツール ,  *型検査

分類 (3件)： 計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： Java ,  API ,  ストリーム ,  停止性 ,  検査 ,  型システム