DocumentCode
2033964
Title
The formal transformation approach to source code analysis and manipulation
Author
Ward, M.P.
Author_Institution
Software Technol. Res. Lab, De Montfort Univ., Leicester, UK
fYear
2001
fDate
2001
Firstpage
185
Lastpage
193
Abstract
The article gives a brief introduction to the foundations of WSL transformation theory and describes 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
Keywords
formal specification; program control structures; program slicing; programming language semantics; WSL transformation theory; abstraction; amorphous slicing; conditioned slicing; formal transformation approach; program slicing; semantic slicing; source code analysis; source code manipulation; Mathematical model;
fLanguage
English
Publisher
ieee
Conference_Titel
Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on
Conference_Location
Florence
Print_ISBN
0-7695-1387-5
Type
conf
DOI
10.1109/SCAM.2001.972680
Filename
972680
Link To Document