loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
26th Annual International Computer Software and Applications Conference
Program Slicing via FermaT Transformations
Oxford, England
August 26-August 29
ISBN: 0-7695-1727-7
ASCII Text
x 
 
M. P. Ward, "Program Slicing via FermaT Transformations," Computer Software and Applications Conference, Annual International, pp. 357, 26th Annual International Computer Software and Applications Conference, 2002.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2002.1045029,
author = {M. P. Ward},
title = {Program Slicing via FermaT Transformations},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2002},
issn = {0730-3157},
pages = {357},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045029},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Program Slicing via FermaT Transformations
SN - 0730-3157
SP
EP
A1 - M. P. Ward,
PY - 2002
KW - null
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
M. P. Ward, De Montfort University
In this paper we describe how the concept of program slicing can be formalised in WSL transformation theory. This formalism naturally lends itself to several generalisations including amorphous slicing and conditioned slicing. One novel generalisation is "semantic slicing" which combines slicing and abstraction to a specification. Interprocedural semantic slicing has been implemented in the FermaT transformation system [7 ]: an industrial-strength transformation system designed for forward and reverse engineering, re-engineering and program comprehension.
Citation:
M. P. Ward, "Program Slicing via FermaT Transformations," compsac, pp.357, 26th Annual International Computer Software and Applications Conference, 2002
Usage of this product signifies your acceptance of the Terms of Use.