John David Morgenthaler  Home/Search
Context Related
| cs.ust.hk/~jdm/Papers/thesis.ps.gz ucsd.edu/~wgg/Abstra...jdm.thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ust.hk/~jdm/Pap...Dissertation (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software is difficult and costly to modify correctly. Automating tiresome mechanical tasks such as program restructuring is one approach to reducing the burden of software maintenance. Several restructuring tools have been proposed and prototyped, all centered on the concept of meaning-preserving transformations similar in spirit to compiler optimizations. Like optimizing compilers, these tools rely on static analysis to reason about the correctness of program changes. However, the cost (in... (Update)
Context of citations to this paper: More
.... 1998 Abstract This article explores the extension of Morgenthaler s Virtual Control Flow technique[Mor97] which derives control flow[ASU86] semantics directly from the Abstract Syntax Tree, from the relatively coarse granularity of syntactic C expressions to the finer...
...seem to be in the majority. It must be noted in this context that in this opinion we diverge from the view of, e.g. Morgenthaler[Mor97] who opts to introduce imprecision into the analysis to avoid any platform assumptions. In our view, it seems obvious that when heavy duty...
Cited by: More
Design and Implementation of an Extensible and Modifiable.. - Maruyama, Yamamoto (Correct)
Refactoring Functional Programs - Thompson, Reinke (2001) (Correct)
HARMONIA: A Flexible Framework for Constructing Interactive.. - Boshernitsan (2001) (Correct)
Active bibliography (related documents): More All
1.1: Building an Efficient Software Manipulation Tool - Morgenthaler (1998) (Correct)
0.7: Program Restructuring as an Aid to Software Maintenance - Griswold (1991) (Correct)
0.6: Supporting the Restructuring of Data Abstractions through.. - Bowdidge (1995) (Correct)
Similar documents based on text: More All
0.6: Using the Map Metaphor to Assist Cross-Cutting Software Changes - Yuan (2000) (Correct)
0.4: A Modular Framework for Adaptive Scheduling in Grid Application.. - Dail (2002) (Correct)
0.4: How to Encode a Tree - Picciotto (1999) (Correct)
Related documents from co-citation: More All
3: ACM Transactions on Software Engineering and Methodology (context) - Griswold, Notkin et al. - 1993
3: Refactoring Object-Oriented Frameworks - Opdyke - 1992
2: Fast and accurate flow-insensitive point-to analysis - Shapiro, Horwitz - 1997
BibTeX entry: (Update)
J. D. Morgenthaler. Static Analysis for a Software Transformation Tool. PhD thesis, University of California, San Diego, Dept. of Computer Science and Engineering, 1997. Tech. Report CS97-552. http://citeseer.ist.psu.edu/morgenthaler97static.html More
@misc{ morgenthaler97static,
author = "J. Morgenthaler",
title = "Static Analysis for a Software Transformation Tool",
text = "J. D. Morgenthaler. Static Analysis for a Software Transformation Tool.
PhD thesis, University of California, San Diego, Dept. of Computer Science
and Engineering, 1997. Tech. Report CS97-552.",
year = "1997",
url = "citeseer.ist.psu.edu/morgenthaler97static.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcraft et al. - 1974
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
228 Points-to analysis in almost linear time - Steensgaard - 1996
228 Points-to analysis in almost linear time - Steensgaard - 1995
227 Kernighan and Dennis M (context) - Brian - 1988
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984
171 Dependence graphs and compiler optimizations (context) - Kuck, Kuhn et al. - 1981
159 and Tools (context) - Aho, Sethi et al. - 1986
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1988
131 Interprocedural may-alias analysis for pointers: beyond k-li.. - Deutsch - 1994
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
126 Refactoring Object-Oriented Frameworks - Opdyke - 1992
104 The Structure of Computers and Computations (context) - Kuck - 1978
76 The program summary graph and flow-sensitive interprocedural.. (context) - Callahan - 1988
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1994
68 Program Flow Analysis: Theory and Applications (context) - Muchnick, Jones - 1981
55 Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
54 The design of whole-program analysis tools - Atkinson, Griswold - 1996
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996
44 A practical interprocedural data flow analysis algorithm (context) - Barth - 1978
41 Refactoring: An aid in designing application frameworks and .. (context) - Opdyke, Johnson - 1990
35 the adequacy of program dependence graphs for representing p.. - Horwitz, Prins et al. - 1988
35 Automatic inheritance hierarchy restructuring and method ref.. - Moore - 1996
33 Refactoring and aggregation - Johnson, Opdyke - 1993
32 Using an enabling technology to reengineer legacy systems (context) - Markosian, Newcomb et al. - 1994
28 ACM Transactions on Programming Languages and Systems (context) - Horwitz, Prins et al. - 1989
26 Restructuring Symbolic Programs for Concurrent Execution on .. (context) - Larus - 1989
25 Tool support for planning the restructuring of data abstract.. - Griswold, Chen et al. - 1996
25 ACM Transactions on Software Engineering and Methodology (context) - Griswold, Notkin et al. - 1993
23 Using program slicing in software maintenance (context) - Gallagher, Lyle - 1991
22 Supporting the Restructuring of Data Abstractions through Ma.. - Bowdidge - 1995
18 A program integration algorithm that accommodates semantics-.. (context) - Yang, Horwitz et al. - 1992
17 Architectural tradeoffs for a meaning-preserving program res.. (context) - Griswold, Notkin - 1995
14 Re-engineering needs generic programming language technology - van den Brand, Klint et al. - 1997
13 Debugging and the experience of immediacy (context) - Ungar, Lieberman et al. - 1997
12 the efficient engineering of ambitious program analysis (context) - Choi, Cytron et al. - 1994
11 Reverse engineering: Progress along many dimensions (context) - Waters, Chikofsky - 1994
10 A New Algorithm for Semantics-Based Program Integration (context) - Yang - 1990
10 Program Restructuring to Aid Software Maintenance (context) - Griswold - 1991
7 A demand-driven analyzer for data flow testing at the integr.. - Duesterwald, Gupta et al. - 1996
6 Direct update of dataflow representations for a meaningprese.. (context) - Griswold - 1993
5 An introduction to software restructuring (context) - Arnold - 1986
5 ACM SIGSOFT Software Engineering Notes (context) - Griswold, Notkin et al. - 1992
5 Computation of interprocedural definition and use dependence.. (context) - Harrold, Soffa - 1990
4 Evolution of a software maintenance tool (context) - Morgan - 1984
4 The automatic restructuring of COBOL (context) - Bush - 1985
3 Inter-module renaming and reorganizing: examples of program .. (context) - Ammann, Cameron - 1994
3 programs using the combined C graph representation (context) - Kinloch, Munro - 1994
3 How software engineering tools organize programmer behavior .. - Bowdidge, Griswold - 1997
3 A unified interprocedural program representation for a maint.. (context) - Harrold, Malloy - 1993
3 A combined representation for the maintenance of C programs (context) - Kinloch, Munro - 1993
1 No silver bullet: Accidents and essence of software engineer.. (context) - Brooks - 1987
1 FElt: User's guide and reference manual (context) - Gobat, Atkinson - 1994
1 Static analysis of program source code using EDSA (context) - Vanek, Culp - 1989
1 Harbison and Jr (context) - Samuel - 1991
The graph only includes citing articles where the year of publication is known.
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