Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
Arsac, Jacques J.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 91-112 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1977__11_2_91_0,
     author = {Arsac, Jacques J.},
     title = {Emploi de m\'ethodes constructives en programmation. Un dossier : la fonction d'Ackermann},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {11},
     year = {1977},
     pages = {91-112},
     zbl = {0358.68018},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1977__11_2_91_0}
}

Arsac, Jacques J. Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) pp. 91-112. http://gdmltest.u-ga.fr/item/ITA_1977__11_2_91_0/

1. E. Ashcroft, Z. Manna. The translation of GOTO programs into WHILE programs IFIP conference, North Holland Publishing Company, 1971, p. 250-255. | MR 400762

2. J. Arsac, Langages sans étiquettes et transformations de programmes, in Automata, Languages and Programming, 2nd Colloquium, J. Loeckx, Ed. Springer 1974 (Lecture Notes in Computer Science n° 14), p. 112-128. | MR 443399 | Zbl 0291.68030

3. J. Arsac, Méthodes et outils en programmation, in Panorama de la nouveauté informatique en France. colloque AFCET, 1976, p. 123-146.

4. J. Arsac, Nouvelles leçons de programmation. Ouvrage à paraître. Dunod, 1977. Aussi, en version abrégée, publication de l'Institut de Programmation, Paris, 1975.

5. J. Arsac, L. Nolin, G. Ruggiu et J. P. Vasseur, Le système de programmation structurée EXEL. Revue technique Thomson-CSF, 6, 1974, p. 715-736.

6. E. Ashcroft et W. W. Wadge, Lucid, a formal System for writing and proving programs. SIAM journal on Computing, 5, 1976, p. 336-354. | MR 495078 | Zbl 0362.68030

7. R. M. Burstall et J. Darlington, A system which automatically improves programs, Acta Informatica, 6, 1976, p. 41-60. | Zbl 0323.68008

8. G. Berry, Bottom up computation of recursive functions, RAIRO, 10, 1976, n° 3, p. 47-82. | Numdam | MR 411222

9. F. Cousineau, Transformation de programmes itératifs, in Programmation, B. Robinet, Ed., Dunod, Paris, 1977, p. 53-74. | Zbl 0401.00016

10. R. W. Floyd, D. E. Knuth, Notes on avoiding GO TO statements. Information processing letters, 1, 1971, p. 23-31.

11. R. W. Floyd, Assigning meanings to programs. Symposia in applied mathematics, Vol. 19. Rhode Island. American mathematical society, 1967, p. 19-32. | MR 235771 | Zbl 0189.50204

12. S. L. Gerhardt, Knowledge about programs. A model and case study. IEEE conference on reliable software, Los Angeles, 1975. IEEE cat. 75 CHO 940, p. 89-93.

13. C. A. R. Hoare, An axiomatic basis for computer programming. Com. ACM, 12, 1969, p. 576-580. | Zbl 0179.23105

14. J. Irlik, Translating some recursive procedures into iterative schemes, in Programmation, B. Robinet, Ed., Dunod, Paris, 1976, p. 39-52.

15. D. E. Knuth, Structured programming with GO TO statements, ACM Computing survey, Vol. 6, n° 4, déc. 1974. | Zbl 0301.68014

16. R. Kosaraju, Analysis of structured programs. Journal of computer ans Systems science, 9, 1974, p. 232-255. | MR 400768 | Zbl 0293.68014

17. H. Ledgard et M. Marcotty, A genealogy of control structures. Com. ACM, 18, 1975, p. 629-639. | Zbl 0313.68024

18. Z. Manna, Mathematical theory of computation, Addison Wesley, 1974. | MR 400771 | Zbl 0353.68066

19. L. Nolin et G. Ruggiu, Formalization of Exel. ACM symposium on principles of programming languages, Boston, oct. 1973, p. 108-119. | Zbl 0308.68011

20. W. W. Peterson, T. Kasami et N. Tokura, A on the capabilities of WHILE, REPEAT and EXIT statements. | Zbl 0279.68008

21. H. G. Rice, Recursion and iteration, Com. ACM, 8, 1965, p. 114-115. | Zbl 0129.10304

22. J. Vuillemin, Proof techniques for recursive programs. PhD thesis Computer science department Stanford University, 1973.