Sémantique des structures de contrôle
RAIRO. Informatique théorique, Tome 11 (1977) no. 1, pp. 63-74.
@article{ITA_1977__11_1_63_0,
     author = {Robinet, Bernard and Nozick, Fran\c{c}ois},
     title = {S\'emantique des structures de contr\^ole},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {63--74},
     publisher = {Centrale des revues, Dunod-Gauthier-Villars},
     address = {Montreuil},
     volume = {11},
     number = {1},
     year = {1977},
     mrnumber = {483652},
     zbl = {0354.68027},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1977__11_1_63_0/}
}
TY  - JOUR
AU  - Robinet, Bernard
AU  - Nozick, François
TI  - Sémantique des structures de contrôle
JO  - RAIRO. Informatique théorique
PY  - 1977
SP  - 63
EP  - 74
VL  - 11
IS  - 1
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://archive.numdam.org/item/ITA_1977__11_1_63_0/
LA  - fr
ID  - ITA_1977__11_1_63_0
ER  - 
%0 Journal Article
%A Robinet, Bernard
%A Nozick, François
%T Sémantique des structures de contrôle
%J RAIRO. Informatique théorique
%D 1977
%P 63-74
%V 11
%N 1
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://archive.numdam.org/item/ITA_1977__11_1_63_0/
%G fr
%F ITA_1977__11_1_63_0
Robinet, Bernard; Nozick, François. Sémantique des structures de contrôle. RAIRO. Informatique théorique, Tome 11 (1977) no. 1, pp. 63-74. http://archive.numdam.org/item/ITA_1977__11_1_63_0/

1. J. Arsac, Nouvelles leçons de programmation, Publications de l'Institut de Programmation, n° IP 75-29.

2. 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.

3. E. Ashcroft et Z. Manna, The Translation of « GO TO » Programs to « WHILE » Programs, I.F.I.P. 71, C. V. FREIMAN éd., North-Holland Pub., 1972, p. 250-255. | MR

4. G. V. Bochmann, Multiple Exists From a Loop Without the Goto, Comm. A.C.M., vol. 16, n° 6, 1973, p. 443-444.

5. C. Böhm et G. Jacopini, Flow-diagrams, Turing Machines and Languages with Only Two Formation Rules, Comm. A.C.M., vol. 9, n° 5, 1966, p. 365-371. | Zbl

6. D. C. Cooper, Böhm and Jacopini's Reduction of Flow Charts, Comm. A.C.M., vol. 10, n° 8, 1967, p. 463-464.

7. E. W. Dijkstra, Goto Statement Considered Harmful, Comm. A.C.M., vol. 11, n°3, 1968, p. 147-148.

8. R. W. Floyd, Assigning Meanings to Programs, Proc. of a Symposium in Applied Mathematics, Math. Aspects of Computer Science, A.M.S., 1967, p. 19-32. | MR | Zbl

9. P. Henderson, Derived Semantics for Some Programming Language Constructs, Comm. A.C.M., vol. 15, n° 11, 1972, p. 967-973. | Zbl

10. D. E. Knuth et R. W. Floyd, Notes on Avoiding «GO TO » Statements, Inf. Process. Letters, n° 1, 1971, p. 23-31.

11. J. Kott, Remarques sur la structure des schémas de programmes. Automata, Languages and Programming, M. NIVAT éd., North-Holland Pub., 1973, p. 265-271. | MR | Zbl

12. B. Lorho, De la définition à la traduction des langages de programmation : méthode des attributs sémantiques, Thèse, Université Paul-Sabatier de Toulouse, 1974.

13. J. Mccarthy, Towards a mathematical Science of Computation, Proc. I.F.I.P. Cong., North Holland Pub. Co., 1962, p. 21-28.

14. L. Nolin et G. Ruggiu, Formalization of Exel, Proc. of the ACM Symp. on Principles of Programming Languages, Boston, 1973, p. 108-119. | Zbl

15. B. Robinet, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O., Informatique théorique (à paraître). | Numdam | Zbl

16. B. Robinet, About the Logical Foundations of Data Types, New Directions on Algorithmic Languages, 1976, S. SCHUMAN éd., Proc. of a WG. 2.1. Meeting. | Zbl

17. R. D. Tennent, The Denotational Semantics of Programming Languages, Comm. A.C.M., vol. 19, n° 8, 1976, p. 437-453. | MR | Zbl

18. N. Wirth, The Programming Language Pascal (Revised Report), E.T.H. Zürich, Berichte der Fachgruppe Computer Wissenschaften, n° 5, 1972.

19. W. A. Wulf, D. B. Russell et A. N. Haberman, Bliss : a Language for Programming Systems, Comm. A.C.M., vol. 14, n° 12, 1971, p. 780-790. | MR | Zbl

20. C. T. Zahn, A Control Statement for Natural Top-down Programming, Programming Symposium, B. ROBINET éd., Springer-Verlag, Lecture Notes in Computer Science, vol. 19, 1974, p. 170-179. | Zbl