Abstract
This paper describes a transformation system for numerical algorithms. This system takes as a specification, a simple and clear algorithm manipulating entities represented by a data structure, and generates another, equivalent algorithm that manipulates the same entities but represented differently by another data structure. The output algorithm is less clear and more complex than the input one, but it is more efficient because it uses data representation properties. The system allows software reuse: the final algorithm is not built from scratch, but it is generated from the initial one by transformation rules.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Bakhouch, Manipulation d'algorithmes numériques, approche transformationnelle et modélisation par objets. Thèse de doctorat de l'université Paris VI, LAFORIA TH94/03, 11 juillet 1994.
J. M. Boyle, Software adaptability and program transformation. In Software Engineering, H. Freemann and P. M. Lewis, Eds. Academic Press, New York, pp. 75–93.
M. Burstall, J. Darlington, A system which automatically improves programs. Acta Inf. 6. PP 41,60. (1976).
M. Burstall, J. Darlington, A transformation system for developing recursive programs. J. ACM 24, 1. Janvier. PP 44, 67. (1977).
Carnegie Group Incorporation. Technical documentation for Knowledge Craft, 1990.
S. Feather, A survey and classification of some program transformation approaches and techniques; In L. G. L. T. Meertens, editor, Program Specification and transformation, pp. 165–195, IFIP, Elsevier Science Publishers B. V. (North-Holland), 1987.
B. Ginoux, Génération automatique d'algorithmes par systèmes expert, à partir de spécifications de haut niveau: Le système COGITO. Thèse de doctorat de l'université de Paris IX, 1991.
P. G. Harrison and H. Khoshnevisan, The mechanical transformation of data types. The computer journal, vol 35, N∘ 2, 1992
Kibler, D. F. Power, efficiency, and correctness of transformation systems. Ph.D. dissertation, Univ of California, Irvine. 1978
Liskov and J. Guttag, Abstraction and specification in program developpement, The MIT Press, 1986.
Masini/A. Napoli/D. Colnet/D. Léonard/K. Tombre, Les langages à objets: langages de classe, langages de frames, langages d'acteurs., iia InterEditions, 1990.
Partsh et P. Pepper, Program transformations systems. Computing Surveys SI, Vol 15, n∘ 3, September 1983.
Partsh et P. Pepper, Program transformations expressed by algebraic type manipulations. TSI, Vol 5, n∘ 3, 1986.
Ryckbosch, La boite à outils Tweety:, note interne EDF HR34-2270, Février 1991.
Ryckbosch, Le logiciel scientifique: Conception par objets, ed, Lavoisier, 1992.
M. Wirsing, Algebraic Specification (chapter 13), in Handbook of theoretical computer science, vol B, Edited by J. van Leeuwen. Elsevier Sience Publishers B.V., 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bakhouch, M. (1995). A program transformation system for software reuse. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Advances in Intelligent Computing — IPMU '94. IPMU 1994. Lecture Notes in Computer Science, vol 945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035986
Download citation
DOI: https://doi.org/10.1007/BFb0035986
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60116-6
Online ISBN: 978-3-540-49443-0
eBook Packages: Springer Book Archive