Title :
The formal transformation approach to source code analysis and manipulation
Author_Institution :
Software Technol. Res. Lab, De Montfort Univ., Leicester, UK
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;
Conference_Titel :
Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-1387-5
DOI :
10.1109/SCAM.2001.972680
