DocumentCode
2415137
Title
Program slicing via FermaT transformations
Author
Ward, M.P.
Author_Institution
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
fYear
2002
fDate
2002
Firstpage
357
Lastpage
362
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-1727-7
Type
conf
DOI
10.1109/CMPSAC.2002.1045029
Filename
1045029
Link To Document