Geodesic
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.

Voir la notice de l'article provenant de la source Numdam

@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://geodesic.mathdoc.fr/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
SP  - 113
EP  - 126
VL  - 11
IS  - 2
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1977
%P 113-126
%V 11
%N 2
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 2, pp. 113-126. http://geodesic.mathdoc.fr/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. | Zbl | mathdoc-id

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. | MR | mathdoc-id

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. | Zbl | MR

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. | Zbl | MR

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

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. | Zbl | MR

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. | Zbl | MR

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