Skip to main content
SpringerLink
Log in
Book cover

Colloquium on Trees in Algebra and Programming

CAAP 1986: CAAP '86 pp 127–141Cite as

Transformation strategies for deriving on line programs

  • Program Schemes And Programming
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 214))

Abstract

We consider a class of programs whose output is a sequence of "elementary actions" or "moves". We provide some transformation strategies for deriving efficient iterative programs which exhibit a "on-line behaviour", i.e. producing the output moves, one at the time, according to a given sequence ordering. Our methods also give an answer to a long standing challenge [Hay77] for deriving a very fast on-line program for the Towers of Hanoi (and similarly defined) problems.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bird, R.S.: "The Promotion and Accumulation Strategies in Transformational Programming" ACM Transaction on Programming Languages and Systems Vol.6 No.4 October 1984, 487–504.

    Google Scholar 

  2. Burstall, R.M. and Darlington, J.: "A Transformation System for Developing Recursive Programs" J.A.C.M. Vol.24, 1 (1977) 44–67.

    Google Scholar 

  3. Buneman, P. and Levy, L.: "The Towers of Hanoi problem" Information Processing Letters 10,(1980), 243–244.

    Google Scholar 

  4. Er, M.C.: "An Iterative Solution of the Generalized Towers of Hanoi Problem" BIT 23 (1983), 295–302.

    Google Scholar 

  5. Ernst, G.W. and Goldstein, M.M.: "Mechanical Discovery of Classes of Problem-Solving Strategies" J.A.C.M. 29 (1) (1982), 1–23.

    Google Scholar 

  6. Hayes, P.J.: "A Note on The Towers of Hanoi Problem" Computer Journal 20, (1977), 282–302.

    Google Scholar 

  7. Kott, L.: "About Transformation System: A Theoretical Study" Proceed. 3ème Colloque International sur la Programmation. Dunod, Paris (1978), 232–247.

    Google Scholar 

  8. Pettorossi, A.: "A Powerful Strategy for Deriving Efficient Programs by Transformation" ACM Symposium on LISP and Functional Programming. Austin,Texas USA (1984), 273–281.

    Google Scholar 

  9. Pettorossi, A.: "Towers of Hanoi Problems: Deriving Iterative Solutions by Program Transformation" BIT Vol.25 (1985), 327–334

    Google Scholar 

  10. Walsh, T.R.: "Iteration Strikes Back at the Cyclic Towers of Hanoi" Information Processing Letters 16 (1983), 91–93.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IASI CNR, Viale Manzoni 30, 00185, Roma, Italy

    Alberto Pettorossi

Authors
  1. Alberto Pettorossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Paul Franchi-Zannettacci

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag

About this paper

Cite this paper

Pettorossi, A. (1986). Transformation strategies for deriving on line programs. In: Franchi-Zannettacci, P. (eds) CAAP '86. CAAP 1986. Lecture Notes in Computer Science, vol 214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022664

Download citation

  • DOI: https://doi.org/10.1007/BFb0022664

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16443-2

  • Online ISBN: 978-3-540-39783-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation