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

DOI Web Site オープンアクセス

書誌事項

タイトル別名
  • A Type System for Detecting Non-Terminating Stream Operations with Java Stream API
  • Java Stream API ニ ヨル ストリーム ソウサ ノ テイシセイ ケンサ ノ タメ ノ カタ システム

この論文をさがす

説明

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

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ