Geodesic
Sémantique algébrique de l'appel par valeur
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) no. 2, pp. 69-82.

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1978__12_2_69_0,
     author = {Arnold, Andr\'e},
     title = {S\'emantique alg\'ebrique de l'appel par valeur},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {69--82},
     publisher = {EDP-Sciences},
     volume = {12},
     number = {2},
     year = {1978},
     mrnumber = {502121},
     zbl = {0378.68008},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1978__12_2_69_0/}
}
TY  - JOUR
AU  - Arnold, André
TI  - Sémantique algébrique de l'appel par valeur
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1978
SP  - 69
EP  - 82
VL  - 12
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1978__12_2_69_0/
LA  - fr
ID  - ITA_1978__12_2_69_0
ER  - 
%0 Journal Article
%A Arnold, André
%T Sémantique algébrique de l'appel par valeur
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1978
%P 69-82
%V 12
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1978__12_2_69_0/
%G fr
%F ITA_1978__12_2_69_0
Arnold, André. Sémantique algébrique de l'appel par valeur. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) no. 2, pp. 69-82. http://geodesic.mathdoc.fr/item/ITA_1978__12_2_69_0/

1. E. Astesiano et G. Costa, On Algebraic Semantics of Polyadic Recursive Schemes in Les Arbres en Algèbre et en Programmation, 2nd Colloque, Lille 1977. | Zbl

2. J. W. De Bakker, Least Fixed Points Revisited, Theor. Computer Science, vol. 2, 1976, p. 155-181. | Zbl | MR

3. G. Boudol, Langages polyadiques algébriques. Théorie des schémas de programme : sémantique de l'appel par valeur, Thèse 3e cycle, Paris, 1975.

4. J. M. Cadiou, Recursive Definitions of Partial Functions and their Computation, Ph. D. Thesis Standford University, 1972.

5. G. Costa, Communication personnelle.

6. J. Engelfriet et E. M. Schmidt, IO and OI, Daimi Report PB 47, University of Aarhus, 1975.

7. I. Guessarian, Les tests et leur caractérisation syntaxique, R.A.I.R.O. série Informatique Théorique, vol. 11, 1977, p. 133-156. | Zbl | MR | mathdoc-id

8. L. Kott, Sémantique algébrique d'un langage de programmation type Algol, R.A.I.R.O. série Informatique Théorique, vol. 11, 1977, p. 237-263. | Zbl | MR | mathdoc-id

9. B. Lang, Threshold Evaluation and the Semantics of Call by Value Assignment and Generic Procedure, 4th Ann. A.C.M. Symp. on Principles of Programming Languages, 1977.

10. J. Mccarthy, A Basis for a Mathematical Theory of Computation in Computer Programming and Formal Systems, BRAFFORT et HIRSCHBERG, éd., North Holland, Amsterdam, 1963. | Zbl | MR

11. T. S. E. Maibaum, A Generalized Approach to Formal Languages, J. Comput. System Sc., vol. 8, 1974, p. 402-432. | Zbl | MR

12. Z. Manna et J. Vuillemin, Fixpoint Approach to the Theory of Computation, Comm of the Assoc. Comput. Mach., vol. 15, 1972, p. 528-536. | Zbl | MR

13. M. Nivat, On the Interpretation of Recursive Program Schemes, Symposia Mathematica, vol. 15. 1975, p. 255-281. | Zbl | MR

14. G.D. Plotkin, Call-by-Name, Call-by-Value and the W-Calculus, Theor. Computer Science, vol. 1, 1975, p. 125-159. | Zbl | MR

15. D. Scott, Outline of a Mathematical Theory of Computation, Oxford University, 1970.

16. J. Vuillemin, Syntaxe, sémantique et axiomatique d'un langage de programmation simple, Thèse d'État, Paris, 1974.