Heuristics applied in tree manipulation algorithm synthesis

  • Etsuo Itoh
  • Hiroshi Nakagawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


PROLOG program transformation is a hopeful method for derivation of algorithm. We apply this method to tree manipulation algorithm. In this case, besides Unfold/Fold transformation, some heuristic knowledge is necessary, for example avoiding re-execution of the same pattern of transformations. In this paper, we describe these heuristic knowledge in transformation. We also present B-tree insertion algorithm synthesis as a fair size example.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Burstall R.M., Darlington J. (1977) A Transformation System for Developing Recursive Programs. JACM 24: 44–67CrossRefGoogle Scholar
  2. Darlington J. (1981) An Experimental Program Transformation and Synthesis System. Artificial Intelligence 16.Google Scholar
  3. Hogger C.J. (1982) Derivation of Logic Programs. JACM 28: 372–392CrossRefGoogle Scholar
  4. Knuth D.E. (1981) The Art of Computer Programing, Vol 1. Addison-Wesley.Google Scholar
  5. Nakamura N., Nakagawa H. (1984) Transformation of Prolog Program with Heuristics. Proc. of the Logic Programming Conference '84.Google Scholar
  6. Sato T. (1984) Transformational Logic Program Synthesis. Proc. of FGCS '84.Google Scholar
  7. Sato T., Tamaki H. (1983) Transformation in Prolog. Proc. of Logic Programming Conference '83.Google Scholar
  8. Tamaki H., Sato T. (1984) Unfold/Fold Transformation of Logic Programs. Proc. of the 2nd International Logic Programming Conference.Google Scholar
  9. Tarlund S.A., Hasson A. (1982) Program Transformation by Data Structure Mapping. LOGIC PROGRAMMING. Academic-Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Etsuo Itoh
    • 1
  • Hiroshi Nakagawa
    • 1
  1. 1.Dept. of Computer Eng. Faculty of EngYokohama Nat. Univ.YokohamaJapan

Personalised recommendations