Raghavan Komondoor and Susan Horwitz Computer Sciences Department, University ...  Home/Search
Context Related
| wisc.edu/~raghavan/poplTR.pdf 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: wisc.edu/~raghavan/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert "monolithic" code to modular or objectoriented code. Procedure extraction involves the following steps: 1. The statements to be extracted are identified (by the programmer or by a programming tool). 2. If the statements are not contiguous, they are moved together so that they form a sequence that can be extracted into a... (Update)
Context of citations to this paper: More
...semantic equivalence is, in general, undecidable, it is not always possible to determine whether a group of clones is extractable. In [11] we identified su#cient conditions under which a single, non contiguous clone can be extracted by first moving its statements together...
Cited by: More
Analysis and Visualization of - Predicate Dependence On (Correct)
Refactoring: Current Research and Future Trends - Mens, Demeyer, Bois.. (2003) (Correct)
Effective, Automatic Procedure Extraction - Komondoor, Horwitz (2003) (Correct)
Similar documents (at the sentence level):
28.7%: Semantics-Preserving Procedure Extraction - Komondoor, Horwitz (2000) (Correct)
Active bibliography (related documents): More All
0.1: Semantics of Programming Languages: A Tool-Oriented Approach - Heering, Klint (1999) (Correct)
0.1: A Slicing-Based Approach for Locating Type Errors - Dinesh, Tip (1998) (Correct)
0.1: Equations as a Uniform Framework for Partial Evaluation.. - Field, Heering, Dinesh (1997) (Correct)
Similar documents based on text: More All
0.5: Eliminating Duplication in Source Code via Procedure Extraction - Komondoor, Horwitz (Correct)
0.5: Tool Demonstration: Finding Duplicated Code Using Program.. - Komondoor, Horwitz (Correct)
0.1: Using Slicing to Identify Duplication in Source Code - Komondoor, Horwitz (2001) (Correct)
Related documents from co-citation: More All
4: Restructuring programs by tucking statements into functions - Lakhotia, Deprez - 1999
3: A Survey of Program Slicing Techniques - Tip - 1995
3: Supporting the Restructuring of Data Abstractions through Manipulation of a Prog.. - Bowdidge - 1995
BibTeX entry: (Update)
R. Komondoor and S. Horwitz. Semantics-preserving procedure extraction. In Proc. ACM Symp. on Principles of Programming Languages (POPL), pages 155-- 169, Jan. 2000. http://citeseer.ist.psu.edu/komondoor00semanticspreserving.html More
@inproceedings{ komondoor00semanticspreserving,
author = "Raghavan Komondoor and Susan Horwitz",
title = "Semantics-Preserving Procedure Extraction",
booktitle = "Symposium on Principles of Programming Languages",
pages = "155-169",
year = "2000",
url = "citeseer.ist.psu.edu/komondoor00semanticspreserving.html" }
Citations (may not include all citations):480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
63 Incremental program testing using program dependence graphs (context) - Bates, Horwitz - 1993
38 Code motion of control structures in high-level languages (context) - Cytron, Lowry et al. - 1986
25 ACM Transactions on Software Engineering and Methodology (context) - Griswold, Notkin et al. - 1993
22 Supporting the restructuring of data abstractions through ma.. - Bowdidge, Griswold - 1998
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
21 ACM Transactions on Programming Languages and Systems (context) - Feather, for et al. - 1982
6 Toward a complete transformational toolkit for compilers - Bergstra, Dinesh et al. - 1997
Documents on the same site (http://www.cs.wisc.edu/~raghavan/): More
Using Slicing to Identify Duplication in Source Code - Komondoor, Horwitz (2001) (Correct)
Tool Demonstration: Finding Duplicated Code Using Program.. - Komondoor, Horwitz (Correct)
Eliminating Duplication in Source Code via Procedure Extraction - Komondoor, Horwitz (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