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

HASEGAWA KENTA; KUWABARA HIROAKI; KUNIEDA YOSHITOSHI

Art

J-GLOBAL ID：202002211179640882 Reference number：20A1851706

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

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

Publisher site {{ this.onShowPLink() }} Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=20A1851706&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1851706&from=J-GLOBAL&jstjournalNo=Y0628A") }}

Author (3)： , ,
Material：
Volume： 37 Issue： 2 Page： 2_59-2_75(J-STAGE) Publication year： 2020
JST Material Number： Y0628A ISSN： 0289-6540 Document type： Article
Article type：原著論文 Country of issue： Japan (JPN) Language： JAPANESE (JA)

, , , , , , , , , , ,
, ,

Computer system development , General-purpose programming language , Theory of computation

, , , , ,

Return to Previous Page