À propos de la sémantique de l'appel par valeur selon A. Arnold
Guessarian, I.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 287-289 / Harvested from Numdam
Publié le : 1978-01-01
@article{ITA_1978__12_4_287_0,
     author = {Guessarian, I.},
     title = {\`A propos de la s\'emantique de l'appel par valeur selon A. Arnold},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {12},
     year = {1978},
     pages = {287-289},
     zbl = {0392.68007},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1978__12_4_287_0}
}
Guessarian, I. À propos de la sémantique de l'appel par valeur selon A. Arnold. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) pp. 287-289. http://gdmltest.u-ga.fr/item/ITA_1978__12_4_287_0/

1. A. Arnold, Sémantique algébrique de l'appel par valeur, R.A.I.R.O. Informatique Théorique, vol. 12, 1978, p. 69-82. | Numdam | MR 502121 | Zbl 0378.68008

2. M. Nivat, On the interpretation of recursive program schemes, Symposia Mathematica, vol. 15, 1975, p. 255-281. | MR 391563 | Zbl 0346.68041