Loading...
Please wait, while we are loading the content...
Similar Documents
Semantics-Preserving Procedure Extraction (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Horwitz, Susan Komondoor, Raghavan |
| 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 procedure, and so that the semantics of the original code is preserved. 3. The statements are extracted into a new procedure, and are replaced with an appropriate call. This paper addresses step 2: in particular, the conditions under which it is possible to move a set of selected statements together so that they become "extractable", while preserving semantics. Since semantic equivalence is, in general, undecidable, we identify su#cient conditions based on control and data dependences, and define a... |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Su Cient Condition Semantic Equivalence Important Program Transformation Monolithic Code Programming Tool Appropriate Call Procedure Extraction Semantics-preserving Procedure Extraction Selected Statement New Procedure Data Dependence Following Step Code Reuse Original Code |
| Content Type | Text |
| Resource Type | Article |
