The formal transformation approach to source code analysis and manipulation

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.