文献

J-GLOBAL ID：201202200378937180   整理番号：11A1196030

DOI: 10.3724/SP.J.1016.2010.00736Javaの静的および動的結合不変性解析

DOI:10.3724/SP.J.1016.2010.00736Combined Static and Dynamic Immutability Analysis of Java Program

著者 (5件)： YU Li-Qian (Nanjing Univ., Jiangsu, Nanjing) ,  WANG Lin-Zhang (Dep. of Computer Sci. and Technol., Nanjing Univ., Jiangsu, Nanjing) ,  LEI Bin ,  ZHAO Jian-Hua ,  LI Xuan-Dong
資料名： Jisuanji Xuebao  (Jisuanji Xuebao)
巻： 33  号： 4  ページ： 736-746  発行年： 2010年 
JST資料番号： C2531A  ISSN： 0254-4164  CODEN： JIXUDT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： ある物のライフサイクルにおいてその状態を変えることができない場合にはその物は不変である。この特徴を不変性と言う。不変性の情報はプログラムの解析,試験,検証,その他を行うために適用することができる。物の不変性の解析技術は二つに分類できる。一つは静的解析,もう一つは動的解析である。動的解析と静的解析の利点と欠点について考え,本紙は混合解析技術を提示する。これは静的技術と動的技術を組み合わせたものでジャワプログラムの不変成を解析する。第一にプログラムを静的に解析し,次に静的解析の結果の未決定の部分を動的に検査する。また,動的解析は静的解析結果を検証するために使用できる。この混合解析技術は静的解析精度を上げるだけでなく動的解析のコストを下げることにもなる。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *ライフサイクル ,  組合せ ,  精度 ,  プログラム解析 ,  動的解析 ,  芳香族ヨウ素化合物 ,  フェノールエーテル ,  第一アミン
準シソーラス用語： 解析精度 ,  静的解析

分類 (1件)： 人工知能  (JE08000Z)

物質索引 (1件)： DOI

タイトルに関連する用語 (3件)： DOI ,  不変性 ,  解析