Note sur la sémantique des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 2, pp. 185-188.
@article{ITA_1979__13_2_185_0,
     author = {Sall\'e, P.},
     title = {Note sur la s\'emantique des structures de contr\^ole},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {185--188},
     publisher = {EDP-Sciences},
     volume = {13},
     number = {2},
     year = {1979},
     zbl = {0427.68027},
     mrnumber = {543939},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1979__13_2_185_0/}
}
TY  - JOUR
AU  - Sallé, P.
TI  - Note sur la sémantique des structures de contrôle
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1979
DA  - 1979///
SP  - 185
EP  - 188
VL  - 13
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1979__13_2_185_0/
UR  - https://zbmath.org/?q=an%3A0427.68027
UR  - https://www.ams.org/mathscinet-getitem?mr=543939
LA  - fr
ID  - ITA_1979__13_2_185_0
ER  - 
Sallé, P. Note sur la sémantique des structures de contrôle. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 2, pp. 185-188. http://www.numdam.org/item/ITA_1979__13_2_185_0/

1. J. Arsac, L. Nolin, G. Ruggiu et J. P. Vasseur, Le système de programmation structurée Exel, Rev. Techn. Thomson-C.S.F., vol. 6, n°3, 1974, p. 715-736.

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

3. C. Bohm, The CUCH as a Formal and Description Language, Formal Language, Description Languages for Computer Programming, T.B. STEEL, Ed., North Holland Pub., 1966, p. 179-197.

4. B. Robinet et F. Nozick, Sémantique des structures de contrôle, R.A.I.R.O. Informatique théorique, vol. 11, n°l, 1977, p. 63-74. | Numdam | MR 483652 | Zbl 0354.68027

5. B. Robinet, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O. Informatique théorique, vol. 11, n°3, 1977, p. 213-236. | Numdam | MR 502167 | Zbl 0389.68015