The formal transformation approach to source code analysis and manipulation

Proceedings - 1st IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2001, Pages 185-193

  Ward, M P ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CODES (SYMBOLS); SEMANTICS;

AMORPHOUS SLICING; CONDITIONED SLICING; FORMAL TRANSFORMATION; GENERALISATION; PROGRAM SLICING; SOURCE CODE ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84963829492     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2001.972680     Document Type: Conference Paper

References (18)

1. R. J. R. Back, Correctness Preserving Program Refinements, Mathematical Centre Tracts #131, Mathematisch Centrum, Amsterdam, 1980.
2. R. J. R. Back, "A Calculus of Refinements for Program Derivations," Acta Informatica 25 (1988), 593-624.
3. R. J. R. Back & J. von Wright, "Refinement Concepts Formalised in Higher-Order Logic," Formal Aspects of Computing 2 (1990), 247-272.
4. G. Canfora, A. Cimitile & A. De Lucia, "Conditioned program slicing," Information and Software Technology Special Issue on Program Slicing 40 (1998), 595-607.
5. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, NJ, 1976.
6. Mark Harman & Sebastian Danicic, "Amorphous program slicing," 5th IEEE International Workshop on Program Comprehesion (IWPC'97), Dearborn, Michigan, USA (May 1997).
7. 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).
8. Susan Horwitz, Thomas Reps & David Binkley, "Interprocedural slicing using dependence graphs," Trans. Programming Lang. and Syst. 12(Jan., 1990), 26-60.
9. C. C. Morgan, Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1994, Second Edition.
10. C. C. Morgan & K. Robinson, "Specification Statements and Refinements," IBM J. Res. Develop. 31 (1987).
11. M. Ward, "Proving Program Refinements and Transformations," Oxford University, DPhil Thesis, 1989.
12. M. Ward, "Foundations for a Practical Theory of Program Refinement and Transformation," Durham University, Technical Report, 1994, 'http://www.dur.ac.uk/~dcs0mpw/martin/papers/foundation2-t.ps.gz'.
13. M. Ward, "Assembler to C Migration using the FermaT Transformation System," International Conference on Software Maintenance, 30th Aug-3rd Sept 1999, Oxford, England (1999).
14. M. Ward, "Reverse Engineering from Assembler to Formal Specifications via Program Transformations," 7th Working Conference on Reverse Engineering, 23-25th November, Brisbane, Queensland, Australia (2000), 'http://www.dur.ac.uk/~dcs0mpw/martin/papers/wcre2000.ps.gz'.
15. 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'.
16. M. Ward, "A Definition of Abstraction," J. Software Maintenance: Research and Practice 7 (Nov., 1995), 443-450, 'http://www.dur.ac.uk/~dcs0mpw/martin/papers/abstraction-t.ps.gz'.
17. M. Ward & K. H. Bennett, "Formal Methods to Aid the Evolution of Software," International Journal of Software Engineering and Knowledge Engineering 5 (1995), 25-47, 'http://www.dur.ac.uk/~dcs0mpw/martin/papers/evolution-t.ps.gz'.
18. M. Weiser, "Program slicing," IEEE Trans. Software Eng. 10 (July, 1984), 352-357.