C. Razafimahefa, "A Study of Side-Effect Analyses for Java," master's thesis, McGill Univ., Dec. 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dimensions of Precision in Reference Analysis of Object-oriented.. - Ryder (2003) (7 citations) (Correct)
....the objects to which they may refer. The prototypical problem for which these analyses were used is call graph construction (i.e. dynamic dispatch resolution) More recently, reference analyses have been used for discovering redundant synchronizations, escaping objects and side effect analysis [11, 5, 6, 49, 41, 36, 33, 26, 23, 32]. These client analyses require more precision than call graph construction and thus, provide interesting different applications for analysis comparison. Recall that the dimensions of analysis precision include: flow sensitivity, context sensitivity, program representation, object representation, ....
C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, December 1999.
Fragment Class Analysis for Testing of Polymorphism in.. - Rountev, Milanova, Ryder (2003) (6 citations) (Correct)
....such criteria. to determine what are the classes of the objects that variable x may refer to at call site x.m( from this it is trivial to compute the RC and TM criteria for the call site. There is a large body of work on various class analyses with different tradeoffs between cost and precision [26, 1, 2, 28, 14, 5, 17, 13, 9, 29, 32, 34, 38, 35, 19, 31, 16, 23]. However, there has been no previous work on using these analyses for the purposes of testing of polymorphism. 1.3 Fragment Class Analysis The existing body of work on class analysis cannot be used directly to compute the RC and TM coverage requirements in a coverage tool. The key problem is ....
....class analysis. The first contribution of this paper is a general method for constructing fragment class analyses for the purposes of testing of polymorphism in Java. Using this method, fragment class analyses can be derived from a wide variety of existing (and future) whole program class analyses [2, 5, 17, 13, 29, 34, 35, 38, 19, 31, 16, 23]. The significance of this technique is that it allows tool designers to adapt available technology for whole program class analysis to be used in coverage tools for testing of polymorphism in partial programs. 1.4 Absolute Analysis Precision Analysis precision is a critical issue for the use of ....
[Article contains additional citation context not shown here]
C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
Constructing Precise Object Relation Diagrams - Milanova, Rountev, Ryder (2002) (1 citation) (Correct)
....developed in the context of optimizing compilers. Class analysis computes a set of classes for each program variable r; this set approximates the classes of all run time objects that may be bound to r. There is a wide variety of existing class analyses with various degrees of cost and precision [17, 1, 2, 18, 9, 4, 11, 8, 6, 19, 21, 22, 23, 25, 15, 20, 10, 16]. These analyses can be used for ORD and ExtORD construction. More precise underlying class analyses result in fewer spurious dependences and therefore more precise ORDs and ExtORDs. For the set of statements in Figure 3, the set of possible classes of all objects that may be bound to variable xy ....
....the following question: given the diagram, what cycles should be removed so that the minimum number of stubs will need to be constructed. Our work concentrates on improving the precision of the ORD, which potentially leads to fewer dependence cycles. There are many existing class analyses [17, 1, 2, 18, 9, 4, 11, 8, 6, 19, 21, 22, 23, 25, 15, 20, 10, 16] that have been used in the context of optimizing compilers and software engineering tools for object oriented programming languages. Our work is the first one to investigate the use of these analyses for the purposes of ORD ExtORD construction. 6 Conclusions and Future Work We have shown how ....
C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
Fragment Class Analysis for Testing of Polymorphism in.. - Rountev, Milanova, Ryder (2004) (6 citations) (Correct)
No context found.
C. Razafimahefa, "A Study of Side-Effect Analyses for Java," master's thesis, McGill Univ., Dec. 1999.
Fragment Class Analysis for Testing of Polymorphism in Java.. - Rountev, Ryder, al. (2004) (6 citations) (Correct)
No context found.
C. Razafimahefa, "A Study of Side-Effect Analyses for Java," master's thesis, McGill Univ., Dec. 1999.
Precise Identification of Side-effect-free Methods in Java - Rountev (2004) (1 citation) (Correct)
No context found.
C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC