Conditioned semantic slicing via abstraction and refinement in FermaT

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2005, Pages 178-187

  Ward, M P ^a   Zedan, H ^a   Hardcastle, T ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITIONAL SEMANTIC SLICING; FERMAT TRANSFORMATION SYSTEM; REPRESENTATION THEOREM; WIDE SPECTRUM LANGUAGE (WSL);

ABSTRACTING; ALGORITHMS; PROBLEM SOLVING; REENGINEERING; SEMANTICS; SYNTACTICS; THEOREM PROVING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 26844469790     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2005.19     Document Type: Conference Paper

References (15)

1. David W. Binkley & Keith Gallagher, "A survey of program slicing," in Advances in Computers, Marvin Zelkowitz, ed., Academic Press, San Diego, CA, 1996.
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 Comprehesion (IWPC'97), Dearborn, Michigan, USA (May 1997).
4. Mark Harman, Sebastian Danicic & R. M. Hierons, "ConSIT: A conditioned program sheer," 9th IEEE International Conference on Software Maintenance (ICSM'00), San Jose, California, USA, Los Alamitos, California, USA (Oct., 2000).
5. Mark Harman, Lin Hu, Malcolm Munro & Xingyuan Zhang, "GUSTT: An Amorphous Slicing System Which Combines Slicing and Transformation," Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), Los Alamitos, California, USA (2001).
6. J. C. Lagarias, "The 3x + 1 Problem and Its Generalizations," American Mathematical Monthly 92 (1985), 3-23, 〈http://www.cecm.sfu.ca/ organics/papers/lagarias/〉.
7. B. Thwaites, "Two Conjectures, or How to Win £1100," Mathematical Gazette 80(1996), 35-36.
8. F. Tip, "A Survey of Program Slicing Techniques," Journal of Programming Languages, 3 (Sept., 1995), 121-189.
9. M. Ward, "Proving Program Refinements and Transformations," Oxford University, DPhil Thesis, 1989.
10. M. Ward, "The Formal Transformation Approach to Source Code Analysis and Manipulation," IEEE International Workshop on Source Code Analysis and Manipulation Florence, Italy, 10th November, Los Alamitos, California, USA (2001).
11. M. Ward, "Abstracting a Specification from Code," J. Software Maintenance: Research and Practice 5 (June, 1993), 101-122, (http://www.dur.ac. uk/~dcs0mpw/martin/papers/prog-spec.ps.gz).
12. M. Ward, "A Definition of Abstraction," J. Software Maintenance: Research and Practice 1 (Nov., 1995), 443-450, 〈http://www. dur.ac.uk/~dcs0mpw/martin/papers/abstraction-t.ps.gz〉.
13. M. Ward, "Derivation of Data Intensive Algorithms by Formal Transformation," IEEE Trans. Software Eng. 22 (Sept., 1996), 665-686, 〈http://www.dur.ac.uk/~dcs0mpw/ martin/papers/sw-alg.ps.gz〉.
14. M. Weiser, "Program slicing," IEEE Trans. Software Eng. 10 (July, 1984), 352-357.
15. M. Weiser, "Programmers use slices when debugging," Comm. ACM 25 (July, 1984), 352-357.