Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 20, Number 2, 1986
Page(s) 149 - 156
DOI https://doi.org/10.1051/ita/1986200201491
Published online 01 February 2017
  1. 1. J. ARSAC, Les bases dela programmation, Paris, Dunod, 1983. [Zbl: 0624.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. [EuDML: 92049] [Zbl: 0358.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. [Zbl: 0547.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. [Zbl: 0367.68008]
  5. 5. F. L. BAUER et H. WOSNER, Algorithmic Language and Program Development Springer Verlag, Berlin, 1982. [Zbl: 0486.68007]
  6. 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. 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. 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. [MR: 514752] [Zbl: 0389.68008]
  10. 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. 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. [Zbl: 0416.68013] [MR: 606596]
  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. [Zbl: 0405.68004]
  14. 14. H. G. RICE, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. [Zbl: 0129.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. [MR: 443414] [Zbl: 0352.68033]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.