EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 20 / No 2 (1986) RAIRO-Theor. Inf. Appl., 20 2 (1986) 149-156 References
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] [Google Scholar]
  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] [Google Scholar]
  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] [Google Scholar]
  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] [Google Scholar]
  5. 5. F. L. BAUER et H. WOSNER, Algorithmic Language and Program Development Springer Verlag, Berlin, 1982. [Zbl: 0486.68007] [Google Scholar]
  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] [Google Scholar]
  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] [Google Scholar]
  8. 8. K. DJOSSOU, Thèse de 3e cycle, université P.-et-M.-Curie, Paris, 1984. [Google Scholar]
  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] [Google Scholar]
  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] [Google Scholar]
  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. [Google Scholar]
  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] [Google Scholar]
  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] [Google Scholar]
  14. 14. H. G. RICE, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. [Zbl: 0129.10304] [Google Scholar]
  15. 15. J. S. ROHL, Recursion via Pascal Sophisters and Calculators, Australia, 1983. [Google Scholar]
  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] [Google Scholar]

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.