METAWSL and meta-transformations in the FermaT transformation system

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2005, Pages 233-238

  Ward, Martin ^a   Zedan, Hussein ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING;

FERMAT TRANSFORMATION SYSTEM; WIDE SPECTRUM LANGUAGE (WSL);

METADATA;

EID: 34248570448     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2005.107     Document Type: Conference Paper

References (27)

1. H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, N. I. Adams IV, D. P. Friedman, E. Kohlbecker, G. L. Steele Jr., D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman & M. Wand, "Revised5 Report on the Algorithmic Language Scheme," Feb., 1998, 〈http:// ftp-swiss.ai.mit.edu/~jaffer/r5rs_toc.html〉.
2. R. J. R. Back & J. von Wright, "Refinement Concepts Formalised in Higher-Order Logic," Formal Aspects of Computing 2 (1990), 247-272.
3. R. S. Boyer & J. S. Moore, A Computational Logic Handbook., Academic Press, Boston, 1997, Second Edition.
4. T. Bull, "An Introduction to the WSL Program Transformer," Conference on Software Maintenance 26th-29th November 1990, San Diego (Nov., 1990).
5. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, NJ, 1976.
6. C. R. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam, 1964.
7. C. C. Morgan, "The Specification Statement," Trans. Programming Lang. and Syst. 10 (1988), 403-419.
8. C. C. Morgan, Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1994, Second Edition.
9. C. C. Morgan & K. Robinson, "Specification Statements and Refinements," IBM J. Res. Develop. 31 (1987).
10. C. C. Morgan & T. Vickers, On the Refinement Calculus, Springer-Verlag, New York-Heidelberg-Berlin, 1993.
11. T. Tammet, "Lambda lifting as an optimization for compiling Scheme to C," Chalmers University of Technology, Department of Computer Sciences, Goteborg, Sweden, 1995, 〈ftp://ftp.cs.chalmers.se/pub/users/tammet/hobbit. ps〉.
12. M. Ward, "Proving Program Refinements and Transformations," Oxford University, DPhil Thesis, 1989.
13. M. Ward, "Derivation of a Sorting Algorithm," Durham University, Technical Report, 1990, 〈http://www.dur.ac.uk/ martin.ward/martin/papers/sorting-t.ps.gz〉.
14. M. Ward, "A Recursion Removal Theorem-Proof and Applications," Durham University, Technical Report, 1991, 〈http://www.dur.ac.uk/martin. ward/martin/papers/ rec-proof-t.ps.gz〉.
15. M. Ward, "Language Oriented Programming," Software-Concepts and Tools 15(1994), 147-161, 〈http:// www.dur.ac.uk/martin.ward/martin/ papers/ middle-out-t.ps.gz〉.
16. M. Ward, "Foundations for a Practical Theory of Program Refinement and Transformation," Durham University, Technical Report, 1994, 〈http://www.dur.ac.uk/martin. ward/martin/papers/foundation2-t.ps.gz〉.
17. M. Ward, "Program Analysis by Formal Transformation," Comput. J. 39 (1996), 〈http://www.dur.ac.uk/martin.ward/ martin/papers/topsort-t.ps.gz〉.
18. M. Ward, "Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension," Comput. J. 42 (1999), 650-673.
19. M. Ward, "Assembler to C Migration using the FermaT Transformation System," International Conference on Software Maintenance, 30th Aug-3rd Sept 1999, Oxford, England (1999).
20. M. Ward, "Reverse Engineering from Assembler to Formal Specifications via Program Transformations," 7th Working Conference on Reveree Engineering, 23-25th November, Brisbane, Queensland, Australia (2000), 〈http://www.dur.ac.uk/martin.ward/martin/papers/wcre2000.ps. gz〉.
21. M. Ward, "A Reverse Engineering Theorem: Deriving the Specification of Any Given Program," to appear, 2003.
22. M. Ward, "Abstracting a Specification from Code," J. Software Maintenance: Research and Practice 5 (June, 1993), 101-122, 〈http://www.dur.ac.uk/martin.ward/martin/ papers/prog-spec.ps.gz〉.
23. M. Ward, "Derivation of Data Intensive Algorithms by Formal Transformation," IEEE Trans. Software Eng. 22 (Sept., 1996), 665-686, 〈http://www.dur.ac.uk/martin.ward/ martin/papers/sw-alg.ps. gz〉.
24. 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/martin.ward/martin/ papers/ evolution-t.ps.gz〉.
25. M. Ward & K. H. Bennett, "Formal Methods for Legacy Systems," J. Software Maintenance: Research and Practice 7 (May, 1995), 203-219, 〈http://www.dur.ac.uk/martin.ward/ martin/papers/legacy-t. ps.gz〉.
26. M. Ward, F. W. Calliss & M. Munro, "The Maintainer's Assistant," Conference on Software Maintenance 16th-19th October 1989, Miami Florida (1989), 〈http://www.dur.ac.uk/martin.ward/martin/papers/ MA-89.ps.gz〉.
27. H. Yang, "The Supporting Environment for a Reverse Engineering System - The Maintainer's Assistant," Conference on Software Maintenance, Sorrento, Italy (Dec., 1991).