Program refinement by transformation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1981, Pages 430-437

  Cheatham, Thomas E ^a   Holloway, Glenn H ^a   Townley, Judy A ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

ABSTRACT ALGORITHM; HARVARD; PROGRAM FAMILY; PROGRAM MAINTENANCES; SYSTEM USE;

SOFTWARE ENGINEERING; COMPUTER PROGRAMMING;

EID: 84976754398     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. "Reference manual for the Ada programming language, " U. S. Dept. of Defense, July 1980.
2. Arsac, J. J., "Syntactic source to source transforms and program manipulation, " CACH. Vol. 22, No. 1, January 1979.
3. Balzer, R., N. Goldman, D. Wile, "On the transformational implementation approach to programming, " Proc. 2nd Int. Conf on Software Engineering, San Francisco, CA, 1976.
4. Bauer, F. L., "Programming as an evolutionary process, " Proc. 2nd Int. Conf. on Software Engineering. San Francisco, CA, 1976.
5. Boyle, J. M., "Program adaptation and program transformation, " Proc. Workshop on Software Adaptation and Maintenance. (R. Ebert, J. Leugger, R. Goecke, Eds. ), Elsevier-North Holland, Amsterdam, 1980.
6. Burstall, R. M., J. Darlington, "A transformation system for developing recursive programs, "
7. Bush, W. R., "Refinement of an abstract model of MSG, " Center for Research in Computing Technology, Harvard University, TR-06-80, April 1980.
8. Cheatham, T. E., Jr., J. A. Townley, G. H. Holloway, "A system for program refinement, " Proc. 4th Int. Conf. on Software Engineering. September 1979, pp. 53-63.
9. Cheatham, T. E., Jr., G. H. Holloway, J. A. Townley, "Symbolic evaluation and the analysis of programs, " IEEE Trans, on Software Engineering, Vol. SE-5, No. 4, July 1979.
10. Conrad, W. R., "Rewrite user's guide, " Center for Research in Computing Technology, Harvard University, Memo, August 1976.
11. Dahl, O.-J., B. Nyhrhaug, K. Nygaard, "The Simula 67 common base language, " Norwegian Computing Centre, Forskingeien IB, Oslo 3, Norway, 1968.
12. Davis, R., J. King, "An overview of production systems, " Department of Computer Science, Stanford University, STAN-CS-75-524, October 1975.
13. "ECL programmer's manual, " Center for Research in Computing Technology, Harvard University, TR-23-74, December 1974.
14. Feather, M. S., "A system for developing programs by transformation, 11 University of Edinburgh, Ph. D. thesis, 1979.
15. Gerhart, S. L., "Correctness-preserving program transformations, " Proc ACM Symp. on Principles of Prnqraiming Languages. January 1975.
16. Geschke, C. G., J. G. Mitchell, "On the problem of uniform references to data structures, " IEEE Trans. on Software Engineering. Vol. SE-1, No. 2, June 1975.
17. Green, C. C., Barstow, D. R., "On programming synthesis knowledge, " Artificial Intelligence. Vol. 10, No. 3, North-Holland, November 1978.
18. Holloway, G. H., "User's guide to the expression analyzer and query facility, " Center for Research in Computing Technology, Harvard University, Nemo, May 1976.
19. Kibler, D. F., "Power, efficiency, correctness of transformation systems, " Ph. D. thesis, Computer Science Dept., University of California at Irvine, 1978.
20. Knuth, D. E. Sorting and Searching. Addison-Wesley, 1973.
21. Lampson, B. W., J. J. Horning, R. L. London, J. G. Mitchell, G. J. Popek, "Report on the programming language EUCLID, " SIGPLAN Notices. Vol. 12, No. 2, February 1977.
22. Linger, R. C., H. D. Mills, B. I. Witt, Structured Programming; Theory and Practice. Addison-Wesley, 1979.
23. Liskov, B., A. Snyder, R. Atkinson, C. Schaffert, "Abstraction mechanisms in CLU, " CACN, Vol. 20, No. 8, August 1977.
24. Loveman, D. B., Program improvement by source to source transformation, " J ACM, Vol. 24, No 1 January 1977.
25. Mitchell, J. G., W. Maybury, R. Sweet, "Mesa language manual, " Xerox Palo Alto Research Center CSL-78-1, February 1978.
26. Mitchell, J. G., B. Wegbreit, "Schemes: A high-level data structuring concept, " Xerox Palo Alto Research Center, CSL-77-1, January 1977.
27. Pamas, D. L., "On the design and development of program families, " IEgE Trans, on Software Engineering, Vol. SE-2, No. 1, March 1976.
28. Wulf, W. A., R. L. London, H. Shaw, "An introduction to the construction and verification of Alphard programs, " IEEE Trans, on Software Engineering, Vol. SE-2, No. 4, December