Abstract
This paper presents a simple interprocedural algorithm for amorphous slicing and illustrates the way in which interprocedural amorplhous slicing improves upon interprocedural syntax-preserving slicing. The paper also presents results from an empirical study of an implementation of this algorithm for Ward's Wide Spectrum Language, WSL. The implementation uses the FermaT transformation workbench. It combines FermaT transformations with the results produced by a syntax-preserving slicer for WSL. Finally, it is shown that the combination of amorphous slicing and conditioned slicing can be particularly attractive, by combining results from the amorphous slicer with results from a prototype conditioned slicer for WSL.