Bottom-up computation of recursive programs

@article{Berry1976BottomupCO,
  title={Bottom-up computation of recursive programs},
  author={G{\'e}rard Berry},
  journal={ITA},
  year={1976},
  volume={10},
  pages={47-82}
}
— In this paper, we de fine and study a mechanism for the implementation of recursive programs: we call it production mechanism by opposition to the usual recursion mechanism. It computes bottom-up, starting from the basic values given by halting conditions, and générâtes intermediate values leading to the resuit. We use for this purpose a translation of a recursive program into a system o f équations in a space ofsets. We introducé determinism conditions providing the uniqueness of the set of… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Syntaxe, sémantique et axiomatique d'un language de programmation simple. Thèse de doctorat d'état ès-sciences mathématiques, Université Paris VI

J. VUILLEMIN
Revue Française d'Automatique, • 1974
View 8 Excerpts
Highly Influenced

Fixpoint Induction and Proofs of Program Properties

D. PARK
Machine Intelligence 5, Edinburgh University press, • 1969
View 5 Excerpts
Highly Influenced

RICE. Recursion and Itération

H G.
Comm. ACM, • 1965
View 8 Excerpts
Highly Influenced

Calculs ascendants des programmes récursifs. Thèse de 3 e cycle

G. BERRY
1976
View 3 Excerpts
Highly Influenced

On the Interprétation of Recursive Program Schemes

M. NrvAT
Symposia Mathematica, Vol. XV, Instituto Nazionale di Alta Matematica, • 1975
View 3 Excerpts
Highly Influenced

Second-Order Mathematical Theory of Computation

STOC • 1970
View 4 Excerpts
Highly Influenced

SETHL Storage Requirements for Deterministic Polynomial Time Recognizible Languages

R. S. COOK
Proc. 6th annual symposium on theory of Computing, Seattle, Washington, • 1974
View 1 Excerpt