Title :
Program slicing via FermaT transformations
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
Abstract :
We describe how the concept of program slicing can be formalised in WSL transformation theory. This formalism naturally tends 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 (Ward, 1999): an industrial-strength transformation system designed for forward and reverse engineering, re-engineering and program comprehension.
Keywords :
program slicing; reverse engineering; systems re-engineering; FermaT transformations; WSL transformation theory; amorphous slicing; conditioned slicing; interprocedural semantic slicing; program comprehension; program slicing; reverse engineering; semantic slicing; specification; system reengineering; transformation system; Amorphous materials; Application software; Computer applications; Debugging; Niobium; Reactive power; Reverse engineering; World Wide Web;
Conference_Titel :
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
Print_ISBN :
0-7695-1727-7
DOI :
10.1109/CMPSAC.2002.1045029
