@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://www.numdam.org/item/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://www.numdam.org/item/ITA_1979__13_2_185_0/
1. Le système de programmation structurée Exel, Rev. Techn. Thomson-C.S.F., vol. 6, n°3, 1974, p. 715-736.
, , et ,2. 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 ,3. 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. 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
et ,5. 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
,