loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th IEEE International Conference on Software Maintenance (ICSM'02)
A Post-Placement Side-Effect Removal Algorithm
Montreal, Quebec, Canada
October 03-October 06
ISBN: 0-7695-1819-2
ASCII Text
x 
 
M. Harman, L. Hu, R. Hierons, M. Munro, X. Zhang, J. Dolado, M. Otero, J. Wegener, "A Post-Placement Side-Effect Removal Algorithm," Software Maintenance, IEEE International Conference on, pp. 0002, 18th IEEE International Conference on Software Maintenance (ICSM'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/ICSM.2002.1167742,
author = {M. Harman and L. Hu and R. Hierons and M. Munro and X. Zhang and J. Dolado and M. Otero and J. Wegener},
title = {A Post-Placement Side-Effect Removal Algorithm},
journal ={Software Maintenance, IEEE International Conference on},
volume = {0},
year = {2002},
isbn = {0-7695-1819-2},
pages = {0002},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2002.1167742},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Maintenance, IEEE International Conference on
TI - A Post-Placement Side-Effect Removal Algorithm
SN - 0-7695-1819-2
SP
EP
A1 - M. Harman,
A1 - L. Hu,
A1 - R. Hierons,
A1 - M. Munro,
A1 - X. Zhang,
A1 - J. Dolado,
A1 - M. Otero,
A1 - J. Wegener,
PY - 2002
VL - 0
JA - Software Maintenance, IEEE International Conference on
ER -
 
M. Harman, Brunel University
L. Hu, Brunel University
R. Hierons, Brunel University
M. Munro, University of Durham
X. Zhang, University of Durham
J. Dolado, University of the Basque Country
M. Otero, University of the Basque Country
J. Wegener, DaimlerChrysler AG
Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance.
This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the state-changing part in a suitable location in a transformed version of the program. This creates a program which is semantically equivalent to the original but guaranteed to be free from side-effects.
The paper also reports the results of an empirical study which demonstrates that the application of the algorithm causes a significant improvement in program comprehension.
Citation:
M. Harman, L. Hu, R. Hierons, M. Munro, X. Zhang, J. Dolado, M. Otero, J. Wegener, "A Post-Placement Side-Effect Removal Algorithm," icsm, pp.0002, 18th IEEE International Conference on Software Maintenance (ICSM'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.