See this document in CiteSeerX!

Variable Precision Reaching Definitions Analysis (1999)  (Make Corrections)  (6 citations)
P. Tonella, G. Antoniol, R. Fiutem, E. Merlo
1st Euromicro Working Conference on Software Maintenance and Reengineering CSMR97



  Home/Search   Context   Related

 
View or download:
serg.ing.unisannio.it/~...jsm99rd.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  serg.ing.unisannio...Publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: During reverse engineering and reengineering of large legacy systems, reaching de nitions computation is an important step, from which successive analyses, such as slicing and impact analysis, can produce useful views of the code linkages for the programmer. The involved activities are interactive, thus program analysis tools may be asked for fast answers by the maintainer. Therefore the control on the trade-o between accuracy and eciency should be given to the user. Furthermore, real world... (Update)

Context of citations to this paper:   More

...work considers definitions, uses, and def use associations in terms of the certainty with which those entities occur. Tonella and colleagues [27] analyze the effects of the precision of the reaching definition computation on def use associations. Other researchers (e.g. 8, 11]...

.... systems, special attention was also devoted to the speed of convergence of the iterative fixpoint method by conceiving a flexible analyzer [44] that allows fine tuning of the trade off between execution time performance and flow information precision. 6 Conclusions Maintenance...

Cited by:   More
Understanding Data Dependences in the Presence of Pointers - Orso, Sinha, Harrold (2003)   (Correct)
Hidden Dependencies in Program Comprehension and Change.. - Yu, Rajlich (2001)   (Correct)
Flow Insensitive C++ Pointers and Polymorphism - Analysis And Its   (Correct)

Active bibliography (related documents):   More   All
1.1:   Variable Precision Reaching Definitions Analysis for .. - Tonella, Antoniol.. (1999)   (Correct)
0.6:   Program Understanding and Maintenance with the CANTO.. - Antoniol, Fiutem.. (1997)   (Correct)
0.5:   Flow Insensitive C++ Pointers and Polymorphism.. - Tonella, Antoniol.. (1997)   (Correct)

Similar documents based on text:   More   All
0.5:   YAAB (Yet Another AST Browser): Using OCL to navigate ASTs - Antoniol Di Penta (2003)   (Correct)
0.5:   Complexity and Feasibility Issues in Object Oriented.. - Merlo, Antoniol, Di Penta (2003)   (Correct)
0.4:   Software System Evolution - Antoniol Casazza Merlo (2000)   (Correct)

Related documents from co-citation:   More   All
4:   An applicable family of data flow testing criteria (context) - Frankl, Weyuker - 1988
4:   Points-to analysis in almost linear time - Steensgaard - 1996
4:   and Tools (context) - Aho, Sethi et al. - 1986

BibTeX entry:   (Update)

P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117--142, March--April 1999. http://citeseer.ist.psu.edu/article/tonella99variable.html   More

@inproceedings{ tonella97variable,
    author = "Paolo Tonella and Giuliano Antoniol and Roberto Fiutem and Ettore Merlo",
    title = "Variable Precision Reaching definitions Analysis for Software Maintenance",
    booktitle = "1st Euromicro Working Conference on Software Maintenance and Reengineering CSMR97",
    publisher = "IEEE Computer Society Press",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/tonella99variable.html" }
Citations (may not include all citations):
390   Interprocedural Slicing Using Dependence Graphs - Horwitz, Reps et al. - 1988
318   IEEE Transactions on Software Engineering (context) - Weiser, slicing - 1984
228   Points-to Analysis in Almost Linear Time - Steensgaard - 1996
175   A Safe Approximate Algorithm for Interprocedural Pointer Ali.. - Landi, Ryder - 1992
140   Using Program Slicing in Software Maintenance - Gallagher, Lyle - 1991
116   Programmers Use Slices when Debugging (context) - Weiser - 1982
99   Dependence Analysis for Pointer Variables (context) - Horwitz, Pfei et al. - 1989
77   Slicing Object-Oriented Software (context) - Larsen, Harrold - 1996
76   The Program Summary Graph and Flow-sensitive Interprocedural.. (context) - Callahan - 1988
54   The Design of Whole-Program Analysis Tools - Atkinson, Griswold - 1996
52   Program and Interface Slicing for Reverse Engineering (context) - Beck, Eichmann - 1993
49   An approach to Regression Testing Using Slicing - Gupta, harrold et al. - 1992
48   Points-to Analysis by Type Inference of Programs with Struct.. - Steensgaard - 1996
47   IEEE Transactions on Software Engineering (context) - Bieman, Ott et al. - 1994
47   Interprocedural Def-Use Associations for C Systems with Sing.. (context) - Pande, Landi et al. - 1994
43   On Slicing Programs With Jump Statements - Agrawal - 1994
28   Ecient Context-Sensitive Pointer Analysis for C Programs (context) - Wilson, Lam - 1995
19   Reverse Engineering to the Architectural Level - Harris, Reubenstein et al. - 1995
18   Pointers and Polymorphism Analysis and its Application to Sl.. (context) - Tonella, Antoniol et al. - 1997
16   Context-Sensitive Interprocedural Pointsto Analysis in the P.. (context) - Emami, Ghiya et al. - 1994
16   A Cliche' Based Environment to Support Architectural Reverse.. - Fiutem, Tonella et al. - 1996
15   Program Understanding and Maintenance with the CANTO Environ.. - Antoniol, Fiutem et al. - 1997
14   IEEE Transactions on Software Engineering (context) - Kozaczynski, Ning et al. - 1992
11   Augmenting Pattern-Based Architectural Recovery with Flow An.. (context) - Tonella, Fiutem et al. - 1996
10   A Framework for Partial Data Flow Analysis - Gupta, So - 1994
9   Application and User Interface Migration From Basic to Visua.. - Antoniol, Fiutem et al. - 1995
7   Multi-Valued Constant Propagation Analysis for User Interfac.. (context) - Merlo, Girard et al. - 1995
7   Understanding the Architecture of Software Systems - Fiutem, Merlo et al. - 1996
6   Challenges to the Field of Reverse Engineering (context) - Selfridge, Waters et al. - 1993
4   Identifying Reusable Functions Using Specication Driven Prog.. (context) - Cimitile, De Lucia et al. - 1995
4   A New Algorithm for the Calculation of Transitive Dependence.. - Livadas, Croll - 1995
1   Comparing Flow and Context Sensitivity on the Modication-sid.. (context) - Stocks, Ryder et al. - 1998

Documents on the same site (http://serg.ing.unisannio.it/~antoniol/Publications.html):   More
ART: An Architectural Reverse Engineering Environment - Fiutem, Antoniol, Tonella..   (Correct)
Estimating Size and Effort for Object Oriented Systems - Caldiera Lokan University (1997)   (Correct)
Identifying Design-Code Inconsistencies in Object-Oriented.. - Fiutem, Antoniol (1998)   (Correct)

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