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.
展开▼
