Slicing the SCAM Mug: A Case Study in Semantic Slicing

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M. P. Ward

Third IEEE International Workshop on Source Code Analysis and Manipulation

Amsterdam, The Netherlands

September 26-September 27

ISBN: 0-7695-2005-7

	ASCII Text	x
	M. P. Ward, "Slicing the SCAM Mug: A Case Study in Semantic Slicing," Source Code Analysis and Manipulation, IEEE International Workshop on, pp. 88, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003.

	BibTex	x
	@article{ 10.1109/SCAM.2003.1238035, author = {M. P. Ward}, title = {Slicing the SCAM Mug: A Case Study in Semantic Slicing}, journal ={Source Code Analysis and Manipulation, IEEE International Workshop on}, volume = {0}, year = {2003}, isbn = {0-7695-2005-7}, pages = {88}, doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238035}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Source Code Analysis and Manipulation, IEEE International Workshop on TI - Slicing the SCAM Mug: A Case Study in Semantic Slicing SN - 0-7695-2005-7 SP EP A1 - M. P. Ward, PY - 2003 KW - null VL - 0 JA - Source Code Analysis and Manipulation, IEEE International Workshop on ER -

M. P. Ward, De Montfort University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238035

In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. 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.

Citation:

M. P. Ward, "Slicing the SCAM Mug: A Case Study in Semantic Slicing," scam, pp.88, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.