Transforming recursion equations to algorithms

  • Jacek Irlik
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. 1.
    Barron, D.W.; Recursive Techniques in Programming, Macdonald, London (1975)Google Scholar
  2. 2.
    Darlington, J.; Burstall, R.M.; A System Which Automatically Improves Programs, Acta Informatica 6, 41–60 (1976)CrossRefGoogle Scholar
  3. 3.
    Burstall, R.M.; Darlington, J.; A Transformation System For Developing Recursive Programs, JACM 24, 44–67 (1977)CrossRefGoogle Scholar
  4. 4.
    Irlik, J.; Translating Some Recursive Procedures Into Iterative Schemes, Proc. 2nd Symposium on Programming, Paris 1976Google Scholar
  5. 5.
    Irlik, J.; Constructing Iterative Version of a System of Recursive Procedures, MFCS'76, Gdansk, Lecture Notes in Comp.Sci. Springer V. No.45 (1976)Google Scholar
  6. 6.
    Hoare, C.A.R.; An Axiomatic Basis For Computer Programming, CACM 12, No.10, (1969).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Jacek Irlik
    • 1
  1. 1.Centre of Computation TechniquesUniversity of SilesiaKatowice

Personalised recommendations