loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)
An Interprocedural Amorphous Slicer for WSL
Montreal, Canada
October 01-October 01
ISBN: 0-7695-1793-5
Mark Harman, BruneI University
Lin Hu, BruneI University
Malcolm Munro, University of Durham
Xingyuan Zhang, University of Durham
Sebastian Danicic, Goldsmiths College
Mohammed Daoudi, Goldsmiths College
Lahcen Ouarbya, Goldsmiths College
This paper presents a simple interprocedural algorithm for amorphous slicing and illustrates the way in which interprocedural amorplhous slicing improves upon interprocedural syntax-preserving slicing. The paper also presents results from an empirical study of an implementation of this algorithm for Ward's Wide Spectrum Language, WSL. The implementation uses the FermaT transformation workbench. It combines FermaT transformations with the results produced by a syntax-preserving slicer for WSL. Finally, it is shown that the combination of amorphous slicing and conditioned slicing can be particularly attractive, by combining results from the amorphous slicer with results from a prototype conditioned slicer for WSL.
Citation:
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya, "An Interprocedural Amorphous Slicer for WSL," scam, pp.105, Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.