La fonction d'Ackermann : un nouveau mode de dérécursivation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 2, pp. 149-156.
@article{ITA_1986__20_2_149_0,
     author = {Arsac, Jacques},
     title = {La fonction {d'Ackermann} : un nouveau mode de d\'er\'ecursivation},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {149--156},
     publisher = {AFCET - Gauthier-Villars},
     address = {Paris},
     volume = {20},
     number = {2},
     year = {1986},
     zbl = {0602.03008},
     mrnumber = {860766},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1986__20_2_149_0/}
}
TY  - JOUR
AU  - Arsac, Jacques
TI  - La fonction d'Ackermann : un nouveau mode de dérécursivation
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1986
DA  - 1986///
SP  - 149
EP  - 156
VL  - 20
IS  - 2
PB  - AFCET - Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1986__20_2_149_0/
UR  - https://zbmath.org/?q=an%3A0602.03008
UR  - https://www.ams.org/mathscinet-getitem?mr=860766
LA  - fr
ID  - ITA_1986__20_2_149_0
ER  - 
Arsac, Jacques. La fonction d'Ackermann : un nouveau mode de dérécursivation. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 2, pp. 149-156. http://www.numdam.org/item/ITA_1986__20_2_149_0/

1. J. Arsac, Les bases dela programmation, Paris, Dunod, 1983. | Zbl 0624.68004

2. J. Arsac, Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann, RAIRO, Inf. théor., vol. 11, n° 2, 1977, p. 91-112. | EuDML 92049 | Numdam | Zbl 0358.68018

3. J. Arsac et Yves Kodratoff, Some Techniques for Recursion Removal from Recursive Functions, ACM Toplas, Vol. 4, n° 2, avril 1982, p. 295-322. | Zbl 0547.68009

4. M. A. Auslander et H. R. Strong, Systematic Recursion Removal, Com A.C.M., vol. 21, n° 2, février 1978, p. 127-134. | Zbl 0367.68008

5. F. L. Bauer et H. Wosner, Algorithmic Language and Program Development Springer Verlag, Berlin, 1982. | Zbl 0486.68007

6. R. M. Burstall et J. Darlington, A System which Automatically Improves Programs, Acta informatica, vol. 6, 1976, p. 41-60. | Zbl 0323.68008

7. R. M. Burstall et J. Darlington, A Transformation System for Developing Recursive Programs, J.A.C.M., vol. 24, n° 1, janvier 1977, p. 44-67. | MR 451816 | Zbl 0343.68014

8. K. Djossou, Thèse de 3e cycle, université P.-et-M.-Curie, Paris, 1984.

9. G. Huet et B. Lang, Proving and Applying Program Transformations Expressed with Second Order Patterns, Acta informatica, vol. 11, n° 1, janvier 1978, p. 31-55. | MR 514752 | Zbl 0389.68008

10. L. Kott, About a Transformation System: Theoretical Study in Program Transformation, in Program Transformation: 3rd Symposium on Programming, Dunod, Paris, 1978. | MR 518773 | Zbl 0406.68011

11. J. Mccarthy, Recursive Functions of Symbolic Expressions and their Computation by Machine, Com. A.C.M., vpl. 16, n° 8, août 1972, p. 491-502.

12. Z. Manna et R. Waldinger, Synthesis: Dreams → Programs, Tech. Rep. CS 77-630, Computer sc. Dep., Stanford University, Californie, 1979. | MR 606596 | Zbl 0416.68013

13. P. Pepper, H. Partsch, H. Woessner et F. L. Bauer, Transformational Approach to Programming, in Program Transformation, 3rd Symposium on Programming, Dunod, Paris, 1978, p. 248-262. | Zbl 0405.68004

14. H. G. Rice, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. | Zbl 0129.10304

15. J. S. Rohl, Recursion via Pascal Sophisters and Calculators, Australia, 1983.

16. B. Wegbreit, Goal Directed Program Transformation, I.E.E.E. transactions in software engineering SE-2, 2, juin 1976, p. 69-80. | MR 443414 | Zbl 0352.68033