Sémantique des structures de contrôle
Robinet, Bernard ; Nozick, François
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 63-74 / Harvested from Numdam
@article{ITA_1977__11_1_63_0,
     author = {Robinet, Bernard and Nozick, Fran\c cois},
     title = {S\'emantique des structures de contr\^ole},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {11},
     year = {1977},
     pages = {63-74},
     mrnumber = {483652},
     zbl = {0354.68027},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1977__11_1_63_0}
}
Robinet, Bernard; Nozick, François. Sémantique des structures de contrôle. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) pp. 63-74. http://gdmltest.u-ga.fr/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 400762

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 0145.24204

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

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

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

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 0308.68011

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

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 0383.68024

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

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

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 0293.68017