no. 2
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},
     mrnumber = {860766},
     zbl = {0602.03008},
     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
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/
LA  - fr
ID  - ITA_1986__20_2_149_0
ER  - 
%0 Journal Article
%A Arsac, Jacques
%T La fonction d'Ackermann : un nouveau mode de dérécursivation
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1986
%P 149-156
%V 20
%N 2
%I AFCET - Gauthier-Villars
%C Paris
%U http://www.numdam.org/item/ITA_1986__20_2_149_0/
%G fr
%F ITA_1986__20_2_149_0
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

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 | Numdam | Zbl

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

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

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

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

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

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

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

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

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

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

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