|
Published Articles >> Table of Contents >> Abstract
Ninth European Conference on Software Maintenance and Reengineering (CSMR'05)
pp. 178-187
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT
M. P. Ward, De Montfort University
H. Zedan, De Montfort University
T. Hardcastle, De Montfort University
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSMR.2005.19
Send link to a friend
| Abstract |
|
In this paper we describe an improved formalisation of slicing in WSL (Wide Spectrum Language) transformation theory and apply the result to give syntactic and semantic slices for some challenging slicing problems. Although there is no algorithm for constructing a minimal syntactic slice, we show that it is possible, in the WSL language, to derive a minimal semantic slice for any program and any slicing criteria. We describe the Representation Theorem and show how it is (partially) implemented in the FermaT transformation system. The theorem has applications to semantic (or conditioned) slicing, and we use a combination of abstraction (via the representation theorem), simplification and refinement plus other program transformations to develop a powerful conditioned slicing algorithm.
|
 Additional Information
|
Citation:
M. P. Ward, H. Zedan, T. Hardcastle,
"Conditioned Semantic Slicing via Abstraction and Refinement in FermaT,"
csmr,
pp. 178-187,
Ninth European Conference on Software Maintenance and Reengineering (CSMR'05),
2005
|
|
