Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 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 - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1977
DA  - 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  - 
Berry, G. Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 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 0358.68018

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 411222

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 451816

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 411238 | Zbl 0305.68066

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 428789

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 290963 | Zbl 0226.68026

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

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 445906 | Zbl 0365.05027

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

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 275722 | Zbl 0212.18802

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 0254.02002