Art

J-GLOBAL ID：202002211179640882   Reference number：20A1851706

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

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

Author (3)： HASEGAWA KENTA (立命館大学大学院情報理工学研究科) ,  KUWABARA HIROAKI (南山大学情報センター) ,  KUNIEDA YOSHITOSHI (立命館大学情報理工学部)
Material： コンピュータソフトウェア  (Computer Software)
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)

Thesaurus term： *software design ,  software development ,  *Java (programming language) ,  system interface ,  streaming ,  *stopping problem ,  program test ,  support program ,  soundness ,  theorem proving ,  *inspection ,  packaging design ,  application programming interface
Semi thesaurus term： API ,  software tool ,  *type checking

JST classification (3)： Computer system development  (JD02010R) ,  General-purpose programming language  (JD03051H) ,  Theory of computation  (JB02000A)

Terms in the title (6)： Java ,  API ,  ストリーム ,  停止性 ,  検査 ,  型システム