PATH IDENTIFYING IN POINTS-TO ANALYSIS FOR JAVA']JAVA WITH ANSWER SET PROGRAMMING

被引：0
|
作者：
Bo, Yang [1 ]
Ying, Zhang [2 ]
Ming-Yi, Zhang [2 ,3 ]
机构：
[1] Guiyang Univ, Dept Phys & Elect Informat Sci, Guiyang 550005, Peoples R China
[2] Guizhou Acad Sci, Guiyang AH-550001, Peoples R China
[3] Chongqing Univ Arts & Sci, Chongqing 402160, Peoples R China
来源：
UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING | 2012年 / 7卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper a set of rules of Answer Set Programming is presented to represent and reason about points-to information in program written in object-oriented language like Java. Especially, path identification problems such as forward and backward path problems in context of aliasing are well solved with these rules. A simple Java program is given to show the effect of our method.
引用
收藏
页码：360 / 367
页数：8
相关论文
共 50 条
  • [1] Probabilistic Points-to Analysis for Java']Java
    Sun, Qiang
    Zhao, Jianjun
    Chen, Yuting
    [J]. COMPILER CONSTRUCTION, 2011, 6601 : 62 - +
  • [2] Scaling Java']Java points-to analysis using SPARK
    Lhoták, O
    Hendren, L
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2003, 2622 : 153 - 169
  • [3] Demand-driven points-to analysis for Java']Java
    Sridharan, M
    Gopan, D
    Shan, L
    Bodík, R
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (10) : 59 - 76
  • [4] Points-to analysis for Java']Java using annotated constraints
    Rountev, A
    Milanova, A
    Ryder, BG
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (11) : 43 - 55
  • [5] Complexity of points-to analysis of Java']Java in the presence of exceptions
    Chatterjee, R
    Ryder, BG
    Landi, WA
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (06) : 481 - 512
  • [6] Parameterized object sensitivity for points-to analysis for Java']Java
    Milanova, A
    Rountev, A
    Ryder, BG
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (01) : 1 - 41
  • [7] Incremental Points-to Analysis for Java']Java via Edit Propagation
    Chen, Yuting
    Shi, Qiuwei
    Miao, Weikai
    [J]. STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015, 8979 : 164 - 178
  • [8] Light Context-Sensitive Points-to Analysis for Java']Java
    Milanova, Ana
    [J]. PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 25 - 30
  • [9] Efficient and Effective Handling of Exceptions in Java']Java Points-to Analysis
    Kastrinis, George
    Smaragdakis, Yannis
    [J]. COMPILER CONSTRUCTION, CC 2013, 2013, 7791 : 41 - 60
  • [10] Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language
    Yang, Bo
    Zhang, Mingyi
    Zhang, Ying
    [J]. ADVANCED INTELLIGENT COMPUTING, 2011, 6838 : 676 - +
12345