Mutual recursion

Known as: Mutually recursive 
The most important basic example of a data type that can be defined by mutual recursion is a tree, which can be defined mutually recursively in terms… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
The UNIX diff program finds the difference between two text files using a classic algorithm for determining the longest common… (More)
Is this relevant?
2008
2008
Recursion is an important topic in computer science curricula. It is related to the acquisition of competences regarding problem… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2007
2007
This paper addresses the relationship between recursion and combinatorial problems, which may benefit teaching recursion in CS1/2… (More)
Is this relevant?
2007
2007
We present a variation of Martin-Löf’s logical framework with βιequality, extended with first-order parameterized algebraic data… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The directional distribution of radiant flux reflected from roughened surfaces is analyzed on the basis of geometrical optics… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2000
2000
Where mutually recursive data types are used in programming languages, etc., mutually recursive functions are usually required… (More)
  • table 1
Is this relevant?
1999
1999
We present a the rst sound and relatively complete Hoare logic for a simple imperative programming language including mutually… (More)
Is this relevant?
1993
1993
Procedure inlining can be used to convert mutual recursion to direct recursion. This allows use of optimization techniques that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Mutual reflection occurs when light reflected from one surface illuminates a second surface. In this situation, the color of one… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1973
1973
The Elliott (I.C.L.) Algol 60 compiler contains a restriction on the sequence of declarations such that no identifier may be used… (More)
Is this relevant?