La fonction d'Ackermann : un nouveau mode de dérécursivation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1986)
- Volume: 20, Issue: 2, page 149-156
- ISSN: 0988-3754
Access Full Article
topHow to cite
topArsac, Jacques. "La fonction d'Ackermann : un nouveau mode de dérécursivation." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 20.2 (1986): 149-156. <http://eudml.org/doc/92253>.
@article{Arsac1986,
author = {Arsac, Jacques},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {iteration; Ackermann's nested recursion},
language = {fre},
number = {2},
pages = {149-156},
publisher = {EDP-Sciences},
title = {La fonction d'Ackermann : un nouveau mode de dérécursivation},
url = {http://eudml.org/doc/92253},
volume = {20},
year = {1986},
}
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
PB - EDP-Sciences
VL - 20
IS - 2
SP - 149
EP - 156
LA - fre
KW - iteration; Ackermann's nested recursion
UR - http://eudml.org/doc/92253
ER -
References
top- 1. J. ARSAC, Les bases dela programmation, Paris, Dunod, 1983. Zbl0624.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. Zbl0358.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. Zbl0547.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. Zbl0367.68008
- 5. F. L. BAUER et H. WOSNER, Algorithmic Language and Program Development Springer Verlag, Berlin, 1982. Zbl0486.68007
- 6. R. M. BURSTALL et J. DARLINGTON, A System which Automatically Improves Programs, Acta informatica, vol. 6, 1976, p. 41-60. Zbl0323.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. Zbl0343.68014MR451816
- 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. Zbl0389.68008MR514752
- 10. L. KOTT, About a Transformation System: Theoretical Study in Program Transformation, in Program Transformation: 3rd Symposium on Programming, Dunod, Paris, 1978. Zbl0406.68011MR518773
- 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. Zbl0416.68013MR606596
- 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. Zbl0405.68004
- 14. H. G. RICE, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. Zbl0129.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. Zbl0352.68033MR443414
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.