Program Slicing via FermaT Transformations

Authors:
M. P. Ward
Affiliations:
-
Venue:
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Year:
2002

Citing 0
Cited 6

Amorphous program slicing

Journal of Systems and Software
Syntax-Directed Amorphous Slicing

Automated Software Engineering
A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
Optimizing slicing of formal specifications by deductive verification

Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
A trajectory-based strict semantics for program slicing

Theoretical Computer Science
A vocabulary of program slicing-based techniques

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe how the concept of program slicing can be formalised in WSL transformation theory. This formalism naturally lends itself to several generalisations including amorphous slicing and conditioned slicing. One novel generalisation is "semantic slicing" which combines slicing and abstraction to a specification. Interprocedural semantic slicing has been implemented in the FermaT transformation system [7 ]: an industrial-strength transformation system designed for forward and reverse engineering, re-engineering and program comprehension.