La fonction d'Ackermann : un nouveau mode de dérécursivation
Arsac, Jacques
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 149-156 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1986-01-01
@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},
     volume = {20},
     year = {1986},
     pages = {149-156},
     mrnumber = {860766},
     zbl = {0602.03008},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/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) pp. 149-156. http://gdmltest.u-ga.fr/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. | 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