M. Ward, "Program Slicing via FermaT Transformations," COMPSAC 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Syntax-Directed Amorphous Slicing - Danicic, Harman, Munro, Binkley.. (Correct)
.... [30] register allocation optimisation [60] partial evaluation [23] restructuring Cobol [28] parallelization [55] and model checking [17] Amorphous slicing was rst introduced by Harman and Danicic [37] and has been developed by Binkley [9] and Harman, Binkley and Danicic [35] and by Ward [76]. Binkley s approach uses the System Dependence Graph [48] while Ward s approach uses a novel syntax preserving slicing algorithm,which is currently under development into an augmented system for producing semantic slices [75, 76] which are closely related to amorphous slices. Binkley et al. 11, ....
.... by Binkley [9] and Harman, Binkley and Danicic [35] and by Ward [76] Binkley s approach uses the System Dependence Graph [48] while Ward s approach uses a novel syntax preserving slicing algorithm,which is currently under development into an augmented system for producing semantic slices [75, 76],which are closely related to amorphous slices. Binkley et al. 11, 35] have shown that amorphous slicing aids program comprehension. Hierons, Harman and Danicic [46] have shown how amorphous slices can be used to (partly) ameliorate the equivalent mutant problem for mutation testing. 10 Future ....
Martin Ward. Program slicing via FermaT transformations. In 26 IEEE Annual Computer Software and Applications Conference (COMPSAC 2002.
An Interprocedural Amorphous Slicer for WSL - Danicic, Harman, Munro.. (Correct)
....variables. 3 The Implementation for WSL We implemented the amorphous slicing algorithm in a tool called LinIAS. The LinIAS tool produces amorphous slices for WSL (the Wide Spectrum Language introduced by Ward [13, 15] and used in the FermaT transformation workbench [14] Recently, Ward [16] published an algorithm for syntax preserving slicing of WSL, using FermaT. This slicing tool is now available as a built in transformation in the current implementation in FermaT. However, it was unavailable at the time we developed our amorphous slicer, and so we implemented our own, in house, ....
Martin Ward. Program slicing via FermaT transformations. In 26 IEEE Annual Computer Software and Applications Conference (COMPSAC 2002.
Slicing the SCAM Mug: A Case Study in Semantic Slicing - Ward Software Technology Self-citation (Ward) (Correct)
No context found.
M. Ward, "Program Slicing via FermaT Transformations," COMPSAC 2002.
Slicing the SCAM Mug: A Case Study in Semantic Slicing - Ward Self-citation (Ward) (Correct)
No context found.
M. Ward, "Program Slicing via FermaT Transformations," COMPSAC 2002.
ConSUS: A Scalable Approach to Conditional Slicing - Daoudi, Ouarbya, Howroyd.. (2002) Self-citation (Ward) (Correct)
.... the Wide Spectrum Language, WSL [21] WSL is the language used in the FermaT Transformation system [20] and which has been previously used as part of a transformation based approach to reverse engineering [23] We chose WSL to allow us to combine our work on conditioning with our work on slicing [22] and amorphous slicing [12, 14, 18] This will (ultimately) allow us to produce an amorphous conditioned slicer. WSL uses an Algol like syntax, but has additional facilities to make it wide spectrum and to allow transformations to be expressed within WSL itself. Space prevents a full explanation ....
M. Ward. Program slicing via FermaT transformations. In 26 Conference (COMPSAC 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC