no. 2
Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 113-126. 
@article{ITA_1977__11_2_113_0,
     author = {Berry, G.},
     title = {Calculs ascendants du programme {d'Ackermann} : analyse du programme de {J.} {Arsac}},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {113--126},
     publisher = {Centrale des revues, Dunod-Gauthier-Villars},
     address = {Montreuil},
     volume = {11},
     number = {2},
     year = {1977},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1977__11_2_113_0/}
}
TY  - JOUR
AU  - Berry, G.
TI  - Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
JO  - RAIRO. Informatique théorique
PY  - 1977
SP  - 113
EP  - 126
VL  - 11
IS  - 2
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://www.numdam.org/item/ITA_1977__11_2_113_0/
LA  - fr
ID  - ITA_1977__11_2_113_0
ER  - 
%0 Journal Article
%A Berry, G.
%T Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
%J RAIRO. Informatique théorique
%D 1977
%P 113-126
%V 11
%N 2
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://www.numdam.org/item/ITA_1977__11_2_113_0/
%G fr
%F ITA_1977__11_2_113_0
Berry, G. Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac. RAIRO. Informatique théorique, Tome 11 (1977) no. 2, pp. 113-126. http://www.numdam.org/item/ITA_1977__11_2_113_0/

1. J. Arsac, Emploi de méthodes constructives en programmation : un dossier la fonction d'Ackermann, R.A.I.R.O., ce même numéro, article précédant celui-ci. | Numdam | Zbl

2. D. W. Barron, Techniques récursives en programmation, Dunod, Paris, 1970.

3. G. Berry, Bottom-up Computations of Recursive Programs. R.A.I.R.O., 10, n° 3. mars 1976, p. 47 à 82. | Numdam | MR

4. G. Berry, Calculs ascendants des Programmes Récursifs, Thèse de 3e cycle, Université, Paris VII, Paris, avril 1976.

5. G. Berry et J. J. Levy, Minimal and Optimal Computations of Recursive Programs. Proc. 4 th Annual ACM SIGACT-SIGPLAN Conference on Principles of Programming Languages, Los Angeles, California, janvier 1977, p. 215-226.

6. R. Burstall et J. Darlington, A Transformation System for Developing Recursive Programs, Department of Artificial Intelligence, University of Edinburgh, U.K., Research Report No. 19, 1976. | MR

7. S. A. Cook, An observation of Time-Storage Trade-off. Proc. 5 th annual ACM Symposium on Theory of Computation, Austin, Texas, 1973, p. 29-33. | MR | Zbl

8. P. Flajolet, Algorithmes d'Exploration d'Arbres, A paraître en Rapport Laboria, IRIA.

9. J. Hopcroft, W. Paul et L. Valiant, On time versus Space and Related Problems. Proc. 16 th Annual Symposium on Foundations of Computer Science, Berkeley, California, 1975, p. 57-64. | MR

10. G. Huet, G. Kahn et al., MENTOR Système d'édition et de transformation de programmes. A paraître en Rapport Laboria, IRIA.

11. J. Morris, Another Recursion Induction Principle. Comm. ACM, 14, 1971, p. 351-354. | MR | Zbl

12. D. Park, Fixpoint Induction and Proof of Program Properties. Machine Intelligence 5, Edinburgh University Press, 1969, p. 59-77. | MR | Zbl

13. W. Paul, R. Tarjan et J. Celoni, Space bounds for a game of pebbles. Proc 8th Annual ACM Symposium on Theory of Computing, Hershey, Pennsylvania, 1976, p. 149-160. | MR | Zbl

14. H. G. Rice, Recursion and Iteration, Comm. ACM, 8, 1965, p. 114-115. | Zbl

15. D. W. Ritchie, Program structure and Computational Complexity. Ph. D. Thesis, Harvard, 1967.

16. R. Sethi et J. D. Ullman, The generation of Optimal Code for Arithmetic Expressions. Journal of ACM, 17, 1970, p. 715-728. | MR | Zbl

17. J. Vuillemin, Syntaxe, Sémantique et Axiomatique d'un Langage de Programmation simple, Thèse de doctorat ès Sciences Mathématiques, Université Paris VI, Paris, 1974.

18. J. Vuillemin, Notes de cours, Université d'Orsay, 1976.

19. A. Yasuhara, Recursive Functions theory and Logic, Academic Press, New York, 1971. | Zbl