The Formal Transformation Approach to Source Code Analysis and Manipulation

Florence, Italy November 10-December 10

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972680

First IEEE International Workshop on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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

	ASCII Text	x
	M.P. Ward, "The Formal Transformation Approach to Source Code Analysis and Manipulation," Source Code Analysis and Manipulation, IEEE International Workshop on, pp. 0187, First IEEE International Workshop on Source Code Analysis and Manipulation, 2001.

	BibTex	x
	@article{ 10.1109/SCAM.2001.972680, author = {M.P. Ward}, title = {The Formal Transformation Approach to Source Code Analysis and Manipulation}, journal ={Source Code Analysis and Manipulation, IEEE International Workshop on}, volume = {0}, year = {2001}, isbn = {0-7695-1387-5}, pages = {0187}, doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972680}, 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 - The Formal Transformation Approach to Source Code Analysis and Manipulation SN - 0-7695-1387-5 SP EP A1 - M.P. Ward, PY - 2001 KW - Slicing KW - Transformation KW - Formal Methods KW - WSL KW - amorphous slicing KW - conditioned slicing KW - semantic slicing VL - 0 JA - Source Code Analysis and Manipulation, IEEE International Workshop on ER -

M.P. Ward, De Montfort University

In this paper we give a brief introduction to the foundations of WSL transformation theory and describe some applications to program slicing. We introduce some generalisations of traditional slicing, amorphous slicing and conditioned slicing which are possible in the framework of WSL transformations. One generalisation is ``semantic slicing'' which combines slicing and abstraction to a specification.

Index Terms:

Slicing, Transformation, Formal Methods, WSL, amorphous slicing, conditioned slicing, semantic slicing

Citation:

M.P. Ward, "The Formal Transformation Approach to Source Code Analysis and Manipulation," scam, pp.0187, First IEEE International Workshop on Source Code Analysis and Manipulation, 2001

Peer Review Notice | Give Us Feedback

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