Un modèle fonctionnel des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 3, pp. 213-236.
@article{ITA_1977__11_3_213_0,
     author = {Robinet, B.},
     title = {Un mod\`ele fonctionnel des structures de contr\^ole},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {213--236},
     publisher = {Centrale des revues, Dunod-Gauthier-Villars},
     address = {Montreuil},
     volume = {11},
     number = {3},
     year = {1977},
     zbl = {0389.68015},
     mrnumber = {502167},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1977__11_3_213_0/}
}
TY  - JOUR
AU  - Robinet, B.
TI  - Un modèle fonctionnel des structures de contrôle
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1977
DA  - 1977///
SP  - 213
EP  - 236
VL  - 11
IS  - 3
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://www.numdam.org/item/ITA_1977__11_3_213_0/
UR  - https://zbmath.org/?q=an%3A0389.68015
UR  - https://www.ams.org/mathscinet-getitem?mr=502167
LA  - fr
ID  - ITA_1977__11_3_213_0
ER  - 
Robinet, B. Un modèle fonctionnel des structures de contrôle. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 3, pp. 213-236. http://www.numdam.org/item/ITA_1977__11_3_213_0/

1. J. Arsac, L. Nolin, G. Ruggiu et J. P. Vasseur, Le système de Programmation Structurée EXEL Revue Technique Thomson CSF,Vol. 6, N° 3, 1974, p. 715-736.

2. J. Arsac, Emploi de méthodes constructives en programmation, Un dossier de programmation : la fonction d'Ackermann. R.A.I.R.O., Informatique Théorique, Vol. 11, N° 2, 1977, p. 91-112. | Numdam | Zbl 0358.68018

3. J. Arsac, La construction de programmes structurés, Dunod, Paris, 1977. | Zbl 0451.68014

4. D. Berry, Implementation of a Contour Model Lambda-Calculus Machine, TR n° 71-44. Brown University 1971.

5. C. Böhm and W. Gross, Introduction to the CUCH, Automata Theory, E. R. Caianello, Ed. Academic Press, 1966, p. 35-65. | Zbl 0192.06903

6. C. Böhm, The CUCH as a Formal and Description Language, Formal languages, Description languages for Computer Programming, T. B. Steel, Ed. North-Holland Pub., 1966, p. 179-197.

7. C. Böhm and G. Jacopini, Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules, Comm. ACM, Vol. 9, N° 5, 1966, p. 365-371. | Zbl 0145.24204

8. C. Bohm et M. Dezani, A CUCH-Machine : the Automatic Treatment of Bound Variables, Int. journal of Comp. and Inf. Sciences, Vol. 1, N° 2, 1972, p. 171-186. | Zbl 0277.68026

9. R. Castanet, Sémantique formelle des opérateurs d'un language de liste, RAIRO, R-3, 1974, p. 19-36. | Numdam | MR 366631 | Zbl 0325.68012

10. G. Cousineau, Transformations de programmes itératifs, in Programmation B. Robinet, Ed., Dunod, 1977, p. 53-74.

11. G. Cousineau, Les arbres à feuilles indicées : un cadre algébrique pour l'étude des structures de contrôle, Thèse de Doctorat. Université Paris 7, 1977.

12. H. B. Curry, R. Feys and W. Craig, Combinatory Logic, Vol. 1. North-Holland, 1958. | MR 94298 | Zbl 0081.24104

13. M. J. Fischer, Lambda-Calculus Schemata, Proc. ACM Conference on Proving Assertions About Programs. Las Cruces, 1972, p. 104-109.

14. J. R. Hindley, B. Lercher and J. P. Seldin, Introduction to Combinatory Logic, London Mathematical Society. Lecture Notes Series 7. Cambridge University Press. 1972. | MR 335242 | Zbl 0269.02005

15. P. J. Landin, A Lambda-Calculus Approach, Advances in Programming and Non-Numerical Computation. Pergamon Press, 1966, p. 97-141. | Zbl 0203.16406

16. P. J. Landin, A Correspondance Between Algol 60 and Church's Lambda-Notation, Comm. ACM, Vol. 8, N° 2, 3, 1965, p. 89-101 et 158-165. | Zbl 0134.33403

17. P. Lucas, On the Semantics of Programming Languages and Software Devices, Formal Semantics of Programming Languages. R. Rustin, Ed., Prentice-Hall Inc., 1972, p. 41-57. | MR 428751

18. J. Mccarthy, Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. Comm. ACM, Vol. 3, N° 4, 1960, p. 184-195. | Zbl 0101.10413

19. J. Michel, Évaluation automatique de formules de la Logique Combinatoire, Application aux techniques de preuve. Thèse de Spécialité. Université Pierre-et-Marie-Curie, 1976.

20. J. H. Morris, Lambda-Calculus Models of Programming Languages, Ph. D., MIT, 1968.

21. L. Nolin and G. Ruggiu, Formalization of EXEL Conference Record of ACM Symposium on Principles of Programming Languages, Boston, 1973, p. 108-119. | Zbl 0308.68011

22. W. W. Peterson, T. Kasami and N. Tokura, On the Capabilities of While, Repeat and Exit Statements, Comm. ACM, Vol. 16, N° 8, 1973, p. 503-512. | MR 368466 | Zbl 0279.68008

23. J. C. Reynolds, GEDANKEN. A Simple Typeless Language Based on the Principle of Completeness and the Reference Concept, Comm. ACM, Vol. 13, N° 5, p. 308-319, 1970. | Zbl 0193.15101

24. J. C. Reynolds, Definitional Interpreters for Higher-Order. Programming Languages. Proc. 25th ACM, National Conference, 1972, p. 717-740.

25. B. Robinet, Un modèle sémantique pour un langage simple de programmation, 1. Fachtagung uber Automatentheorie und Formale Sprachen. Lecture Notes in Computer Science, N° 2, Springer-Verlag, 1973, p. 301-310. | MR 443410 | Zbl 0277.68012

26. B. Robinet, Contributions à l'étude de réalités informatiques, Thèse de Doctorat. Université Pierre-et-Marie-Curie. Paris, 1974.

27. B. Robinet et F. Nozik, Sémantique des structures de contrôle. R.A.I.R.O., Informatique théorique, Vol. 11, N° 1, 1977, p. 63-74. | Numdam | MR 483652 | Zbl 0354.68027

28. G. Ruggiu, Les types et les appels de procédure, in Automata, Languages and Programming. M. Nivat, Ed., North-Holland, 1973, p. 319-330. | MR 403293 | Zbl 0279.02014

29. G. Ruggiu, De l'organigramme à la formule, Thèse de Doctorat. Université Pierre et Marie Curie, Paris, 1974.