Sémantique algébrique de l'appel par valeur
RAIRO. Informatique théorique, Tome 12 (1978) no. 2, pp. 69-82. 
@article{ITA_1978__12_2_69_0,
     author = {Arnold, Andr\'e},
     title = {S\'emantique alg\'ebrique de l'appel par valeur},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {69--82},
     publisher = {EDP-Sciences},
     volume = {12},
     number = {2},
     year = {1978},
     mrnumber = {502121},
     zbl = {0378.68008},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1978__12_2_69_0/}
}
TY  - JOUR
AU  - Arnold, André
TI  - Sémantique algébrique de l'appel par valeur
JO  - RAIRO. Informatique théorique
PY  - 1978
SP  - 69
EP  - 82
VL  - 12
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/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. Informatique théorique
%D 1978
%P 69-82
%V 12
%N 2
%I EDP-Sciences
%U http://www.numdam.org/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. Informatique théorique, Tome 12 (1978) no. 2, pp. 69-82. http://www.numdam.org/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. | MR | Zbl

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. | Numdam | MR | Zbl

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. | Numdam | MR | Zbl

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. | MR | Zbl

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

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. | MR | Zbl

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

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

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.