Note sur la sémantique des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1979)
- Volume: 13, Issue: 2, page 185-188
- ISSN: 0988-3754
Access Full Article
topHow to cite
topSallé, P.. "Note sur la sémantique des structures de contrôle." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 13.2 (1979): 185-188. <http://eudml.org/doc/92096>.
@article{Sallé1979,
author = {Sallé, P.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {semantics of control structures; program transformations},
language = {fre},
number = {2},
pages = {185-188},
publisher = {EDP-Sciences},
title = {Note sur la sémantique des structures de contrôle},
url = {http://eudml.org/doc/92096},
volume = {13},
year = {1979},
}
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
PB - EDP-Sciences
VL - 13
IS - 2
SP - 185
EP - 188
LA - fre
KW - semantics of control structures; program transformations
UR - http://eudml.org/doc/92096
ER -
References
top- 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. Zbl0145.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. Zbl0354.68027MR483652
- 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. Zbl0389.68015MR502167
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.