Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/3398
Title: | Amorphous procedure extraction |
Authors: | Harman, M Binkley, D Singh, R Hierons, RM |
Keywords: | Program slicing; Program transformation; Variable dependence analysis |
Issue Date: | 2004 |
Publisher: | IEEE |
Citation: | 4th IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2004), Chicago, pp. 85-94, Sep 2004 |
Abstract: | The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted. |
URI: | http://bura.brunel.ac.uk/handle/2438/3398 |
DOI: | http://dx.doi.org/10.1109/SCAM.2004.4 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Amorphous procedure extraction.pdf | 155.24 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.