La fonction d'Ackermann : un nouveau mode de dérécursivation

Jacques Arsac

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1986)

  • Volume: 20, Issue: 2, page 149-156
  • ISSN: 0988-3754

How to cite

top

Arsac, 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. 1. J. ARSAC, Les bases dela programmation, Paris, Dunod, 1983. Zbl0624.68004
  2. 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. 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. 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. 5. F. L. BAUER et H. WOSNER, Algorithmic Language and Program Development Springer Verlag, Berlin, 1982. Zbl0486.68007
  6. 6. R. M. BURSTALL et J. DARLINGTON, A System which Automatically Improves Programs, Acta informatica, vol. 6, 1976, p. 41-60. Zbl0323.68008
  7. 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. 8. K. DJOSSOU, Thèse de 3e cycle, université P.-et-M.-Curie, Paris, 1984. 
  9. 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. 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. 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. 12. Z. MANNA et R. WALDINGER, Synthesis: Dreams → Programs, Tech. Rep. CS 77-630, Computer sc. Dep., Stanford University, Californie, 1979. Zbl0416.68013MR606596
  13. 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. 14. H. G. RICE, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. Zbl0129.10304
  15. 15. J. S. ROHL, Recursion via Pascal Sophisters and Calculators, Australia, 1983. 
  16. 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.