Note sur la sémantique des structures de contrôle
RAIRO. Informatique théorique, 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. Informatique th\'eorique},
     pages = {185--188},
     publisher = {EDP-Sciences},
     volume = {13},
     number = {2},
     year = {1979},
     mrnumber = {543939},
     zbl = {0427.68027},
     language = {fr},
     url = {http://archive.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. Informatique théorique
PY  - 1979
SP  - 185
EP  - 188
VL  - 13
IS  - 2
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1979__13_2_185_0/
LA  - fr
ID  - ITA_1979__13_2_185_0
ER  - 
%0 Journal Article
%A Sallé, P.
%T Note sur la sémantique des structures de contrôle
%J RAIRO. Informatique théorique
%D 1979
%P 185-188
%V 13
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1979__13_2_185_0/
%G fr
%F ITA_1979__13_2_185_0
Sallé, P. Note sur la sémantique des structures de contrôle. RAIRO. Informatique théorique, Tome 13 (1979) no. 2, pp. 185-188. http://archive.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

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

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