Note sur la sémantique des structures de contrôle
Sallé, P.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979), p. 185-188 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1979-01-01
@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},
     volume = {13},
     year = {1979},
     pages = {185-188},
     mrnumber = {543939},
     zbl = {0427.68027},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1979__13_2_185_0}
}

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) pp. 185-188. http://gdmltest.u-ga.fr/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