WEKO3
アイテム
Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法
https://ipsj.ixsq.nii.ac.jp/records/194866
https://ipsj.ixsq.nii.ac.jp/records/194866b219dfc3-c217-48df-ab20-f847410b301d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE19201004.pdf (660.5 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-02-28 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法 | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | A Static Method for Detecting Reuse of Stream in Java Programs using Stream API | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 検査とデバッグ，学生セッション | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 立命館大学情報理工学部 | ||||||||||||
| 著者所属 | ||||||||||||
| 南山大学情報センター | ||||||||||||
| 著者所属 | ||||||||||||
| 立命館大学情報理工学部 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| College of Information Science and Engineering, Ritsumeikan University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Center for Information and Communication Technology, Nanzan University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| College of Information Science and Engineering, Ritsumeikan University | ||||||||||||
| 著者名 |
荒木, 良仁
× 荒木, 良仁
× 桑原, 寛明
× 國枝, 義敏
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 本稿では，Java Stream API を利用するプログラムにおけるストリームの再利用を静的に検出する手法を提案する．Java Stream API によるストリーム操作は生成操作，中間操作，終端操作に分類できる．ストリームの再利用とは同一のストリームに対し終端操作を複数回適用することである．ストリームの再利用は禁止されており，プログラムの実行中に検出されると例外がスローされるが，プログラムの実行前に検出できることが望ましい．提案手法では，メソッドの各実行経路に対し，経路上に出現する各終端操作の適用対象であるストリームがすべて異なることをデータフローに基づいて検査することで検出する．提案手法に基づいて検査器を実装し，ストリームの再利用を検出できることを確認した． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10112981 | |||||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2019-SE-201, 号 4, p. 1-8, 発行日 2019-02-28 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8825 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
