Tail recursion by using function generalization

  • Authors:
  • Manuel Rubio-Sánchez;J. Ángel Velázquez-Iturbide

  • Affiliations:
  • Universidad Rey Juan Carlos, Madrid, Spain;Universidad Rey Juan Carlos, Madrid, Spain

  • Venue:
  • ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The design of tail recursive algorithms may require thinking about iteration rather than recursion. This paper provides a methodology for deriving tail recursive functions that is based on declarative programming and the concept of function generalization, which allow to avoid iterative thinking.