@article{ITA_1977__11_3_213_0, author = {Robinet, B.}, title = {Un mod\`ele fonctionnel des structures de contr\^ole}, journal = {RAIRO. Informatique th\'eorique}, pages = {213--236}, publisher = {Centrale des revues, Dunod-Gauthier-Villars}, address = {Montreuil}, volume = {11}, number = {3}, year = {1977}, mrnumber = {502167}, zbl = {0389.68015}, 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. Informatique théorique PY - 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/ LA - fr ID - ITA_1977__11_3_213_0 ER -
Robinet, B. Un modèle fonctionnel des structures de contrôle. RAIRO. Informatique théorique, Volume 11 (1977) no. 3, pp. 213-236. http://www.numdam.org/item/ITA_1977__11_3_213_0/
1. Le système de Programmation Structurée EXEL Revue Technique Thomson CSF,Vol. 6, N° 3, 1974, p. 715-736.
, , et ,2. 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
, Emploi de méthodes constructives en programmation,3. La construction de programmes structurés, Dunod, Paris, 1977. | Zbl
,4. Implementation of a Contour Model Lambda-Calculus Machine, TR n° 71-44. Brown University 1971.
,5. Introduction to the CUCH, Automata Theory, E. R. Caianello, Ed. Academic Press, 1966, p. 35-65. | Zbl
and ,6. 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. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules, Comm. ACM, Vol. 9, N° 5, 1966, p. 365-371. | Zbl
and ,8. 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
et ,9. Sémantique formelle des opérateurs d'un language de liste, RAIRO, R-3, 1974, p. 19-36. | Numdam | MR | Zbl
,10. Transformations de programmes itératifs, in Programmation B. Robinet, Ed., Dunod, 1977, p. 53-74.
,11. 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. Combinatory Logic, Vol. 1. North-Holland, 1958. | MR | Zbl
, and ,13. Lambda-Calculus Schemata, Proc. ACM Conference on Proving Assertions About Programs. Las Cruces, 1972, p. 104-109.
,14. Introduction to Combinatory Logic, London Mathematical Society. Lecture Notes Series 7. Cambridge University Press. 1972. | MR | Zbl
, and ,15. A Lambda-Calculus Approach, Advances in Programming and Non-Numerical Computation. Pergamon Press, 1966, p. 97-141. | Zbl
,16. 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
,17. 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
,18. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. Comm. ACM, Vol. 3, N° 4, 1960, p. 184-195. | Zbl
,19. É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. Lambda-Calculus Models of Programming Languages, Ph. D., MIT, 1968.
,21. Formalization of EXEL Conference Record of ACM Symposium on Principles of Programming Languages, Boston, 1973, p. 108-119. | Zbl
and ,22. On the Capabilities of While, Repeat and Exit Statements, Comm. ACM, Vol. 16, N° 8, 1973, p. 503-512. | MR | Zbl
, and ,23. 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
,24. Definitional Interpreters for Higher-Order. Programming Languages. Proc. 25th ACM, National Conference, 1972, p. 717-740.
,25. 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 | Zbl
,26. Contributions à l'étude de réalités informatiques, Thèse de Doctorat. Université Pierre-et-Marie-Curie. Paris, 1974.
,27. 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 | Zbl
et ,28. Les types et les appels de procédure, in Automata, Languages and Programming. M. Nivat, Ed., North-Holland, 1973, p. 319-330. | MR | Zbl
,29. De l'organigramme à la formule, Thèse de Doctorat. Université Pierre et Marie Curie, Paris, 1974.
,