- 1 BALZER, R., GOLDMAN, N., AND WILE, D. On the transformational implementation approach to programming. In Proc. 2d Int. Conf. Software Engineering, San Francisco, Calif., Oct. 1976, pp. 337-344. Google Scholar
- 2 BAUER, F.L., PARTSCH, H., PEPPER, P., ANI) W6SS~ER, H. Techniques for program development. In Infotech State of the Art Report: Software Engineering Techniques. Infotech Information Ltd., Maidenhead, Berkshire, England, 1977, pp. 25-50.Google Scholar
- 3 BAUER, F.L., PAR?SC~, H., PEPPER, P., AND WOSSNER, H. Notes on the project CIP: Outline of a transformation system. Tech. Rep. TUM-INFO-7729, Inst. fiir Informatik, Technische Univ. M/inchen, 1977.Google Scholar
- 4 BOYLE, J.M. Program adaption and program transformation. In Practice in Software Adaption and Maintenance: Proceedings, Workshop on Software Adaption and Maintenance, Berlin. Elsevier North-Holland, New York, 1979, pp. 3-20.Google Scholar
- 5 BURSTALL, R.M. Design considerations for a functional programming language. In The Software Revolution: Proc. Infotech State of the Art Conference, Copenhagen. Pergamon Press, Elmsford, N.Y., 1977, pp. 45-57.Google Scholar
- 6 BURSTALL, R.M., ANO DARLINGTON, J. A transformation system for developing recursive programs. J. ACM 24, 1 (Jan. 1977), 44-67. Google Scholar
- 7 BURSTALL, R.M., MAcQuEEN, D.B., ANo SANNELLA, D.T. HOPE: An experimental applicative language. In Proc. 1980 LISP Conf., Stanford, Calif., 1980, pp. 136-143. Google Scholar
- 8 DARLINGTON, J. A synthesis of several sorting algorithms. Acta Inf. 11, I (Dec. 1978), 1-30.Google Scholar
- 9 DARLINGTON, J. Program transformation and synthesis: Present capabilities. Tech. Rep. DAI 43, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1977; also appeared in Artif intell. 16, i (March 1981), 1-46.Google Scholar
- 10 DARLINGTON, J. A Semantic Approach to Automatic Program Improvement. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1972.Google Scholar
- 11 DARLiNCTON, J., AND BURSTALL, R.M. A system which automatically improves programs. Acta Inf. 6, i (March 1976), 41-60.Google Scholar
- 12 FEATHER, M.S. Program specification applied to a text-formatter. Available from author; submitted to IEEE Trans. Softw. Eng. Google Scholar
- 13 FEATHER, M.S. A System for Developing Programs by Transformation. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1979.Google Scholar
- 14 FEATHER, M.S. Program transformation applied to the telegram problem. In Proc. 3d Int. Symp. Programming, Paris, 1978, pp. 173-186.Google Scholar
- 15 FRIEDMAN, D.P., AND WISE, D.S. Functional combination. Comput. Lang. 3, I (Feb. 1978), 31-35.Google Scholar
- 16 HEND~.aSON, P., AND SNOWDON, R. An experiment in structured programming. BIT 12, 1 (1972), 38-53.Google Scholar
- 17 KERNICnAN, B.W., AND PLAUCER, P.J. Software Tools. Addison-Wesley, Reading, Mass., 1976. Google Scholar
- 18 Koq~r, L. About a transformation system: A theoretical study. In Proc. 3d Int. Syrup. Programming, Paris, 1978, pp. 232-247.Google Scholar
- 19 LEE, S., DE ROEVER, W.P., AND GERHART, S.L. The evolution of list-copying algorithms and the need for structured program verification. In Conf. Rec., 6th Ann. ACM Symp. Principles of Programming Languages, San Antonio, Tex., Jan. 29-31, 1979, pp. 53-67. Google Scholar
- 20 MANNA, Z., AND WALmNCER, R. Synthesis: Dreams ~ programs. IEEE Trans. Softw. Eng. SE-5, 4 (1979), 294-328.Google Scholar
- 21 MARTELLI, A. Program development through successive transformations: An application to list processing. In Proc. 3d Int. Syrup. Programming, Paris, 1978, pp. 381-394.Google Scholar
- 22 PARTSCH, H., AND PEPPER, P. Program transformations on different levels of programming. Tech. Rep. TUM-INFO-7715, Institut for Informatik, Technische Univ. M(inchen, 1977.Google Scholar
- 23 PE~rOROSSI, A. Improving memory utilization in transforming recursive programs. In Proceedings, 7th Symposium on Mathematical Foundations of Computer Science, Zakopane, Poland. Springer-Verlag, New York, 1978, pp. 416-425.Google Scholar
- 24 Pr~TTOROSSI, A. Transformation of programs and use of "tupling strategy." Presented at Informatica 77, Bled, Yugoslavia, 1977.Google Scholar
- 25 SCHWARZ, J. Verifying the safe use of destructive operations in applicative programs. In Proc. 3d int. Symp. Programming, Paris, 1978, pp. 395-411.Google Scholar
- 26 TOPOR, R.W. Interactive Program Verification Using Virtual Programs. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1975.Google Scholar
- 27 WECSREIT, B. Goal-directed program transformation. IEEE Trans. Sofiw. Eng. SE-2, 2 (1976), 69-80.Google Scholar
Index Terms
- A System for Assisting Program Transformation
Recommendations
Applications of the TAMPR transformation system
IW-FM'98: Proceedings of the 2nd Irish conference on Formal MethodsIn this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic, rewrite-rule based program transformation system. From its ...
On validation of ATL transformation rules by transformation models
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and ValidationModel-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature ...
Point-free Program Transformation
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the ...
Comments