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.
Author supplied keywords
Cite
CITATION STYLE
Ward, M. P. (2003). Slicing the SCAM mug: A case study in semantic slicing. In Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003 (pp. 88–97). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/SCAM.2003.1238035
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
