@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://www.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://www.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://www.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://www.numdam.org/item/ITA_1977__11_1_63_0/
1. Nouvelles leçons de programmation, Publications de l'Institut de Programmation, n° IP 75-29.
,2. Le système de programmation structurée Exel, Revue technique Thomson-CSF, vol. 6, n° 3, 1974, p. 715-736.
, , et ,3. 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
et ,4. Multiple Exists From a Loop Without the Goto, Comm. A.C.M., vol. 16, n° 6, 1973, p. 443-444.
,5. Flow-diagrams, Turing Machines and Languages with Only Two Formation Rules, Comm. A.C.M., vol. 9, n° 5, 1966, p. 365-371. | Zbl
et ,6. Böhm and Jacopini's Reduction of Flow Charts, Comm. A.C.M., vol. 10, n° 8, 1967, p. 463-464.
,7. Goto Statement Considered Harmful, Comm. A.C.M., vol. 11, n°3, 1968, p. 147-148.
,8. 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. Derived Semantics for Some Programming Language Constructs, Comm. A.C.M., vol. 15, n° 11, 1972, p. 967-973. | Zbl
,10. Notes on Avoiding «GO TO » Statements, Inf. Process. Letters, n° 1, 1971, p. 23-31.
et ,11. 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. 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. Towards a mathematical Science of Computation, Proc. I.F.I.P. Cong., North Holland Pub. Co., 1962, p. 21-28.
,14. Formalization of Exel, Proc. of the ACM Symp. on Principles of Programming Languages, Boston, 1973, p. 108-119. | Zbl
et ,15. Un modèle fonctionnel des structures de contrôle, R.A.I.R.O., Informatique théorique (à paraître). | Numdam | Zbl
,16. 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. The Denotational Semantics of Programming Languages, Comm. A.C.M., vol. 19, n° 8, 1976, p. 437-453. | MR | Zbl
,18. The Programming Language Pascal (Revised Report), E.T.H. Zürich, Berichte der Fachgruppe Computer Wissenschaften, n° 5, 1972.
,19. Bliss : a Language for Programming Systems, Comm. A.C.M., vol. 14, n° 12, 1971, p. 780-790. | MR | Zbl
, et ,20. 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
,