A program transformation system for software reuse

  • Mustapha Bakhouch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 945)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    M. Burstall, J. Darlington, A system which automatically improves programs. Acta Inf. 6. PP 41,60. (1976).Google Scholar
  4. 4.
    M. Burstall, J. Darlington, A transformation system for developing recursive programs. J. ACM 24, 1. Janvier. PP 44, 67. (1977).Google Scholar
  5. 5.
    Carnegie Group Incorporation. Technical documentation for Knowledge Craft, 1990.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    P. G. Harrison and H. Khoshnevisan, The mechanical transformation of data types. The computer journal, vol 35, N∘ 2, 1992Google Scholar
  9. 9.
    Kibler, D. F. Power, efficiency, and correctness of transformation systems. Ph.D. dissertation, Univ of California, Irvine. 1978Google Scholar
  10. 10.
    Liskov and J. Guttag, Abstraction and specification in program developpement, The MIT Press, 1986.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    Partsh et P. Pepper, Program transformations systems. Computing Surveys SI, Vol 15, n∘ 3, September 1983.Google Scholar
  13. 13.
    Partsh et P. Pepper, Program transformations expressed by algebraic type manipulations. TSI, Vol 5, n∘ 3, 1986.Google Scholar
  14. 14.
    Ryckbosch, La boite à outils Tweety:, note interne EDF HR34-2270, Février 1991.Google Scholar
  15. 15.
    Ryckbosch, Le logiciel scientifique: Conception par objets, ed, Lavoisier, 1992.Google Scholar
  16. 16.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Mustapha Bakhouch
    • 1
  1. 1.LAFORIA-IBP Université Paris VI - Case 169Paris cedex 05France

Personalised recommendations