loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Source Code Analysis and Manipulation, Fourth IEEE International Workshop on (SCAM'04)
Amorphous Procedure Extraction
Chicago, Illinois
September 15-September 16
ISBN: 0-7695-2144-4
Mark Harman, Brunel University, UK
David Binkley, Loyola College, Baltimore MD
Ranjit Singh, Brunel University, UK
Robert M. Hierons, Brunel University, UK
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 paper 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.
Citation:
Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons, "Amorphous Procedure Extraction," scam, pp.85-94, Source Code Analysis and Manipulation, Fourth IEEE International Workshop on (SCAM'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.