Advertisement

Efficient implementation of structural recursion

  • K. Indermark
  • H. Klaeren
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Keywords

Recursive Function Functional Programming Return Address Structural Recursion Recursive Scheme 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ba 78]
    Backus, J.: Can programming be liberated from the von Neumann style ? A functional style and its algebra of programs, Comm. ACM 21 (1978), 613–641Google Scholar
  2. [Co 82]
    Courcelle, B. and P. Franchi-Zannettacci: Attribute grammars and recursive program schemes, Theor. Comp. Sci. 17 (1982), 163–191 and 235–257Google Scholar
  3. [vHe 75]
    v. Henke, F.W.: On generating programs from data types: an approach to automatic programming, IRIA Symposium on Proving and Improving Programs, 1975, 57–69Google Scholar
  4. [In 85]
    Indermark, K.: Functional compiler description, to appear in: Banach Center Publications, Polish Academy of Sciences, WarsawGoogle Scholar
  5. [Kl 84]
    Klaeren, H.A.: A constructive method for abstract algebraic software specification, Theor. Comp. Sci. 30 (1984), 139–204Google Scholar
  6. [Kl 87]
    Klaeren, H.A.: Ein algebraischer Ansatz zur Rekursionselimination, to appearGoogle Scholar
  7. [Kn 74]
    Knuth, D.: Structured programming with goto statements, Computing Surveys 6 (1974), 261–301Google Scholar
  8. [MC 62]
    McCarthy, J. et al.: LISP 1.5 Programmer's Manual, MIT Press, Cambridge, Mass. (1962)Google Scholar
  9. [MC 63]
    McCarthy, J.: A basis for a mathematical theory of computation, in: Computer Programming and Formal Systems, (P. Braffort and D. Hirschberg, eds.), North-Holland P.C. (1963), 33–70Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • K. Indermark
    • 1
  • H. Klaeren
    • 1
  1. 1.Lehrstuhl für Informatik II, RWTH AachenAachenWest-Germany

Personalised recommendations