Abstract
Program transformation aims at producing efficient programs from lucid specifications or preliminary versions. Two classes of program transformations can be distinguished [Fea87]. The first class deals with automatic transformations. They are achieved mechanically and no external intervention is needed. Examples are compilation, transformations following a partial evaluation,.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Bibliography
R.M. Burstall and J. Darlington. A transformation system for developping recursive programs. J ACM, 24(1): 44–67, 1977.
G.L. Burn, C.L. Hankin, and S. Abramsky. Strictness Analysis of Higher Order Functions. Science of Computer Programming, 7: 249–278, 1986.
P. Cousot and R. Cousot. Abstract Interpretation: A unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixpoint. 4th POPL, pages 238-252, 1977.
J. Cazin, P. Cros, R. Jacquart, M. Lemoine, and P. Michel. Construction and Reuse of Formal Program Developments. In Springer Verlag, editor, TAPSOFT 91. LNCS, 4 91.
M. S. Feather. A Survey and Classification of Some Program Transformation Approaches and Techniques. In North Holland, editor, IFIP, 87.
G. Huet and B. Lang. Proving and Applying Transformations Expressed with Second-Order Patterns. Acta Informatica, 11 (1): 31–55, 1978
A Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD thesis, University of Edimburgh, 1981.
B. Wegbreit. Mechanical Program Analysis, communications of the ACM, 18: 528–539, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Ameur, Y.A. (1992). Program Transformations Directed by the Evaluation of non Functional Properties. In: Clement, T.P., Lau, KK. (eds) Logic Program Synthesis and Transformation. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3494-7_21
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3494-7_21
Publisher Name: Springer, London
Print ISBN: 978-3-540-19742-3
Online ISBN: 978-1-4471-3494-7
eBook Packages: Springer Book Archive