DocumentCode
2165888
Title
Slicing the SCAM mug: a case study in semantic slicing
Author
Ward, M.P.
Author_Institution
Software Technol. Res. Lab, De Montfort Univ., Leicester, UK
fYear
2003
fDate
26-27 Sept. 2003
Firstpage
88
Lastpage
97
Abstract
We describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug (Anon, 2001). We present both syntactic and semantic slices of the mug program and give semantic slices for various generalisations of the program. 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.
Keywords
program slicing; programming language semantics; SCAM mug slicing; WSL language; WSL transformation theory; semantic slicing; slicing problem; syntactic slice; Application software; Bibliographies; Computer aided software engineering; Conferences; Debugging; Software maintenance; Software safety; Software testing; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on
Print_ISBN
0-7695-2005-7
Type
conf
DOI
10.1109/SCAM.2003.1238035
Filename
1238035
Link To Document