Un modèle fonctionnel des structures de contrôle
RAIRO. Informatique théorique, 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. 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  - 
%0 Journal Article
%A Robinet, B.
%T Un modèle fonctionnel des structures de contrôle
%J RAIRO. Informatique théorique
%D 1977
%P 213-236
%V 11
%N 3
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://www.numdam.org/item/ITA_1977__11_3_213_0/
%G fr
%F ITA_1977__11_3_213_0
Robinet, B. Un modèle fonctionnel des structures de contrôle. RAIRO. Informatique théorique, 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

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

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

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

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

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

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 | Zbl

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 | Zbl

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

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

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

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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 | Zbl

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