Program slicing via FermaT transformations

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 357-362

  Ward, M P ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PROGRAM DEBUGGING; REENGINEERING; REVERSE ENGINEERING; SEMANTICS; SYNTACTICS;

AMORPHOUS SLICING; CONDITIONED SLICING; FERMAT TRANSFORMATIONS; FORWARD ENGINEERING; PROGRAM ANALYSIS; PROGRAM SLICING; PROGRAM TRANSFORMATIONS; SEMANTIC SLICING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036392104     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. R. Balzer, "EXDAMS - EXtendable Debugging And Monitoring System," Proceedings of the AFIPS SJCC, 1969.
2. G. Canfora, A. Cimitile & A. De Lucia, "Conditioned program slicing," Information and Software Technology Special Issue on Program Slicing 40(1998), 595-607.
3. Mark Harman & Sebastian Danicic, "Amorphous program slicing," 5th IEEE International Workshop on Program Comprehension (IWPC'97), Dearborn, Michigan, USA (May 1997).
4. Mark Harman, Sebastian Danicic & R. M. Hierons, "ConSIT: A conditioned program slicer," 9th IEEE International Conference on Software Maintenance (ICSM'00), San Jose, California, USA, Los Alamitos, California, USA (Oct., 2000).
5. Susan Horwitz, Thomas Reps & David Binkley, "Interprocedural slicing using dependence graphs," Trans. Programming Lang. and Syst. 12 (Jan., 1990), 26-60.
6. M. Ward, "Proving Program Refinements and Transformations," Oxford University, DPhil Thesis, 1989.
7. M. Ward, "Assembler to C Migration using the FermaT Transformation System," International Conference on Software Maintenance, 30th Aug-3rd Sept 1999, Oxford, England (1999).
8. M. Ward, "Abstracting a Specification from Code," J. Software Maintenance: Research and Practice 5 (June, 1993), 101-122, .
9. M. Ward, "A Definition of Abstraction," J. Software Maintenance: Research and Practice 7 (Nov., 1995), 443-450, .
10. M. Weiser, "Program slicing," IEEE Trans. Software Eng. 10 (July, 1984), 352-357.