Program analysis by formal transformation

Computer Journal

Volumn 39, Issue 7, 1996, Pages

  Ward, M P ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3743064955     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.7.598     Document Type: Article

References (53)

1. Knuth, D. E. and Szwarcfiter, J. L. (1974) A Structured Program to Generate All Topological Sorting Arrangements. Inform. Process. Lett. 2, 153-157.
2. Ward, M. (1989) Proving Program Refinements and Transformations. D.Phil. Thesis, Oxford University, Oxford, UK.
3. Ward, M. (1994) Foundations for a Practical Theory of Program Refinement and Transformation. Technical Report, Durham University, UK.
4. Ward, M. (1990) Derivation of a Sorting Algorithm. Technical Report, Durham University, UK.
5. Priestley, H. A. and Ward, M. (1994) A Multipurpose Backtracking Algorithm. J. Symb. Comput., 18, 1-40.
6. Ward, M. (1993) Abstracting a Specification from Code. J. Software Maintenance: Research and Practice, 5, 101-122.
7. Ward, M. (1994) Reverse Engineering through Formal Transformation Knuths 'Polynomial Addition'. Algorithm Comput. J., 37, 795-813
8. Bull, T. (1990) An Introduction to the WSL Program Transformer. Conference on Software Maintenance, November 26-29, San Diego, CA.
9. Ward, M., Calliss, F. W. and Munro, M. (1989) The Maintainer's Assistant. Conference on Software Maintenance, October 16-19, Miami, FL.
10. McMorran, M. A. and Nicholls, J. E. (1989) Z User Manual TR12.274. IBM UK Laboratories Ltd, Hursley Park, Winchester, UK.
11. Ward, M. and Bennett, K. H. (1993) A Practical Program Transformation System For Reverse Engineering. Working Conference on Reverse Engineering, May 21-23, IEEE Computer Society, Baltimore, MA.
12. Ward, M. and Bennett, K. H. (1995a) Formal Methods to Aid the Evolution of Software. Int. J. Software Engng Knowledge Engng, 5, 25-47.
13. Ward, M. and Bennett, K. H. (1995b) Formal Methods for Legacy Systems. J. Software Maintenance: Research and Practice, 7, 203-219.
14. Ward, M. (1994) Language Oriented Programming Software-Concepts and Tools, 15, 147-161.
15. Ward, M. (1986) Specifications from Source Code -Alchemists' Dream or Practical Reality? 4th Reengineering Forum, September 19-21, Victoria, Canada.
16. Jones, C. B. (1986) Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, NJ.
17. Hoare, C. A. R., Hayes, I. J., Jifeng, H. E., Morgan, C. C., Roscoe, A. W., Sanders, J. W., Sørensen, I. H., Spivey, J. M. and Sufrin B. A. (1987) Laws of Programming Commun. ACM, 30, 672-686.
18. Morgan, C. C. (1994) Programming from Specifications, 2nd edn. Prentice Hall, Englewood Cliffs, NJ.
19. Morgan, C. C., Robinson, K. and Gardiner, P. (1988) On the Refinement Calculus. Technical Monograph PRG-70. Oxford University, Oxford, UK.
20. Morgan, C. C. and Vickers, T. (1993) On the Refinement Calculus. Springer, New York.
21. Morgan, C. C. (1988) The Specification Statement. Trans. Progr. Lang. Syst. 10, 403-419.
22. Dijkstra, E. W. (1976) A Discipline of Programming. Prentice Hall, Englewood Cliffs, NJ.
23. Jones, C. B., Jones, K. D., Lindsay, P. A. and Moore, R. (1991) Mural: A Formal Development Support System. Springer, New York.
24. Neilson, M., Havelund, K., Wagner, K. R. and Saaman, E. (1989) The RAISE Language, Method and Tools. Formal Aspects Comput., 1, 85-114.
25. Abrial, J. R., Davis, S. T., Lee, M. K. O., Neilson, D. S., Scharbach, P. N. and Sørensen, I. H. (1991) The B Method. BP Research, Sunbury Research Centre, UK.
26. Sennett, C. T. (1990) Using Refinement to Convince: Lessons Learned from a Case Study. Refinement Workshop, January 8-11, Hursley Park, Winchester, UK.
27. Bauer, F. L., Moller, B., Partsch, H. and Pepper, P. (1989) Formal Construction by Transformation - Computer Aided Intuition Guided Programming. IEEE Trans. Software Engng, 15, 2.
28. Bauer, F. L. (1985) The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science, 183.
29. Bauer, F. L. (1987) The Munich Project CIP, Volume II: The Program Transformation System CIP-S. Lecture Notes in Computer Science, 292.
30. Church, A. (1951) The Calculi of Lambda Conversion. Ann. Mathematical Studies, 6.
31. Broy, M., Gnatz, R. and Wirsig, M. (1979) Semantics of Nondeterminism and Noncontinuous Constructs. In Goos, G. and Hartmanis, H. (eds), Program Construction. Lecture Notes in Computer Science, 69, 563-592.
32. Pepper, P. (1979) A Study on Transformational Semantics. In Goos, G. and Hartmanis, H. (eds), Program Construction. Lecture Notes in Computer Science, 69.
33. Wossner, H., Pepper, P., Partsch, H. and Bauer, F. L. (1979) Special Transformation Techniques. In Goos, G. and Hartmanis, H. (eds), Program Construction. Lecture Notes in Computer Science, 69, 290-321
34. Bauer, F. L. and Wossner, H. (1982) Algorithmic Language and Program Development, pp. 232-405, Springer, New York.
35. Feather, M. S. (1987) A Survey and Classification of Some Program Transformation Techniques. In Meetens, L. G. L. T (ed.), proceedings of the IFIP TC2/WG2 Working Conference on Program Specification and transformation, nhpc, Amsterdam, pp. 165-196.
36. Feather, M. S. (1982) A System for Assisting Program Transformation Trans Progr. Lang. Syst., 4, 1-20.
37. McQueen, D. B. and Sannella, D. T. (1980) HOPE: An Experimental Applicative Language. Internal Report, Department of Computer Science, University of Edinburgh, Edinburgh.
38. Hildum, D. and Cohen, J. A Language for Specifying Program Transformations. IEEE Trans. Software Engng, 16, 6.
39. van Zuylen, H. J. (1992) The REDO Compendium: Reverse Engineering for Software Maintenance. John Wiley & Sons, New York, NY
40. Back, R. J. R. (1980) Correctness Preserving Program Refinements. Mathematical Centre Tracts, 131, Mathematisch Centrum, Amsterdam.
41. Back, R. J. R. (1988) A Calculus of Refinements for Program Derivations. Acta Informatica, 25, 593-624.
42. Back, R. J. R. and von Wright, J. (1990) Refinement Concepts Formalized in Higher-Order Logic. Formal Aspects Comput., 2, 247-272.
43. Karp, C. R. (1964) Languages with Expressions of Infinite Length. North-Holland, Amsterdam.
44. Ward, M. (1991) A Recursion Removal Theorem-Proof and Applications. Technical Report, Durham University, UK.
45. Broy, M. and Pepper, P. (1982) Combining Algebraic and Algorithmic Reasoning: an Approach to the Schorr-Waite Algorithm. Trans. Progr Lang. Syst., 4, 3.
46. Jorring, S. (1987) Deriving and Using Destructive Data Types. In Meertens, L. G. T. L. (ed.), Program Specification and Transformation: Proceedings of the IFIP TC2/WG 2.1 Working Conference, April 15-17, Bad Tölz, Germany.
47. Tennet, R. D. (1976) The Denotational Semantics of Programming Languages. Commun. ACM, 19, 437-453.
48. Wile, D. Type Transformations. IEEE Trans. Software Engng, 7, 1.
49. Stoy, J. E. (1977) Denotational Semantics: the Scott-Strachy Approach to Programming Language Theory. MIT Press, Cambridge, MA.
50. Ward, M. (1992) A Recursion Removal Theorem. Proceedings of the 5th Refinement Workshop, London, January 8-11. Springer, New York. pp. 43-69.
51. Knuth, D. E. (1974) Structured Programming with the GOTO Statement. Comput. Surveys, 6, 261-301.
52. Arsac, J. (1982) Transformation of Recursive Procedures. In Neel, D. (ed.), Tools and Notations for Program Construction. pp. 211-265, Cambridge University Press, Cambridge, UK.
53. Arsac, J. (1982) Syntactic Source to Source Program Transformations and Program Manipulation. Commun. ACM, 22, 43-54.