Title :
Slicing the SCAM mug: a case study in semantic slicing
Author_Institution :
Software Technol. Res. Lab, De Montfort Univ., Leicester, UK
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;
Conference_Titel :
Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on
Print_ISBN :
0-7695-2005-7
DOI :
10.1109/SCAM.2003.1238035
