Abstract
Program transformation offers a systematic way of developing correct and efficient programs from specifications. The formal system, outlined in Burstall and Darlington [1977], that has become known as the unfold/fold system, offers a very simple formal base which is nevertheless capable of achieving a wide class of transformations. However significant transformations expressed solely in terms of these rules became too complex to be communicated or achieved by a system. To overcome these problems we are developing a transformation meta-language that allows transformations to be explicated in a structured way without removing the formal base of these transformations. Constructs in this meta-language consist of higher level transformation processes or tactics such as combine loops, remove recursion or re-use storage. These are ultimately expressible in terms of the unfold/fold steps but provide a richer vocabulary for communicating transformation plans either to man or machine. One of the more useful of these tactics is one that enables implementations for abstract data types to be synthesised automatically. In this paper we consider this transformation process in some detail and use it to exemplify our ideas on structuring program transformations and the sort of systems that we envisage being developed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Backus J . [1978]. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.Turing Lecture CACM 21,8 pp 613–641.
Burstall, R.M. [ 1977 ]. Design considerations for a functional programming language. Proc. of Infotech State of the Art Conference, Copenhagen pp 45–57.
Burstall, R.M. and Darlington, J. [ 1977 ]. A transformation System for developing recursive programs. JACM Vol 24 No. 1 pp 44–67.
Burstall, R.M. and Goguen J.A. [1977] Putting theories together to make specifications. Proc. 5th UCAI Boston pp 1045–1058.
Burstall R.M., MacQueen D.B. and Sanella D.T. [1980]. HOPE an experimental applicative language. Internal Report, Department of Computer Science University of Edinburgh.
Darlington, J. [ 1977 ]. Program transformation and synthesis. Present capabilities. Report 77/43 Dept. of Computing and Control Imperial College, LondoruTo appear in The Artificial Intelligence Journal.
Darlington J. and Reeve M. [ 1981 ]. ALICE a multi-processor reduction machine for the parallel evaluation of applicative languages.Internal Report, Department of Computing, Imperial College.
Feather, M.S. [ 1979 ]. ‘ZAP’ program transformation system, primer and users manual. Report No. 54 Dept. of Artificial Intelligence, University of Edinburgh.
Gordon M.J., Milner R.A. and Wadsworth C. [ 1977 ]. Edinburgh LCF. Report CSR-11-77. (Part 1 ). Department of Computer Science, University of Edinburgh.
Gurd J.R., Watson I. and Glauert J.R.W. [ 1980 ]. A multilayered data flow computer architecture.Internal Report,Department of Computer Science, University of Manchester.
Guttag J.V. [ 1977 ]. Abstract data types and the development of data structures CACM Vol 20 pp 297–304.
Guttag J.V. and Horning J.J. [1978]. The algebraic specification of abstract data types.Acta Informatica Vol 10 No 1.
Guttag J.V., Horowitz E. and Musser D.R. [1978]. The design of data type specifications. In Current Trends in Programming Methodology Vol 1. Prentice Hall.
Hoare C.A.R. [ 1972 ]. Proof of correctness of data representations. Acta Informatica Vol 4 pp 271–281.
Liskov B. and Zilles S. [1977]. An introduction to formal specification of data abstractions.In Current Trends in Programming Methodology Vol 1. Prentice Hall. pp 1-32
Wirsing M. Pepper P. Partsch H. Dosch W. and Broy M. [ 1979 ]. On heirarchies of abstract data types. Internal Report Project CIP. Technical University of Munich.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 D. Reidel Publishing Company
About this paper
Cite this paper
Darlington, J. (1983). The Synthesis of Implementations for Abstract Data Types. In: Biermann, A.W., Guiho, G. (eds) Computer Program Synthesis Methodologies. NATO Advanced Study Institutes Series, vol 95. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-7019-9_9
Download citation
DOI: https://doi.org/10.1007/978-94-009-7019-9_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-7021-2
Online ISBN: 978-94-009-7019-9
eBook Packages: Springer Book Archive