GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation

Authors:
Mark Harman;Lin Hu;Malcolm Munro;Xingyuan Zhang
Affiliations:
-;-;-;-
Venue:
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Year:
2001

Citing 0
Cited 4

Amorphous program slicing

Journal of Systems and Software
Syntax-Directed Amorphous Slicing

Automated Software Engineering
Slicing as a program transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditioned semantic slicing for abstraction; industrial experiment

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a system for amorphous program slicing which combines slicing and transformation to achieve thinner slices than are possible using conventional syntax-preserving slicing. The approach involves the validation of the transformation and slicing steps using the Coq proof assistant, thereby guaranteeing the correctness of the amorphous slices produced. The combined application of slicing and transformation is illustrated with a simple case study.Several components of the system implement transformation tactics, such as side-effect removal and dependence reduction transformations which have wider applications than the construction of amorphous slices.