Sémantique algébrique de l'appel par valeur
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1978)
- Volume: 12, Issue: 2, page 69-82
- ISSN: 0988-3754
Access Full Article
topHow to cite
topArnold, André. "Sémantique algébrique de l'appel par valeur." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 12.2 (1978): 69-82. <http://eudml.org/doc/92070>.
@article{Arnold1978,
author = {Arnold, André},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {2},
pages = {69-82},
publisher = {EDP-Sciences},
title = {Sémantique algébrique de l'appel par valeur},
url = {http://eudml.org/doc/92070},
volume = {12},
year = {1978},
}
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
PB - EDP-Sciences
VL - 12
IS - 2
SP - 69
EP - 82
LA - fre
UR - http://eudml.org/doc/92070
ER -
References
top- 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. Zbl0364.68020
- 2. J. W. DE BAKKER, Least Fixed Points Revisited, Theor. Computer Science, vol. 2, 1976, p. 155-181. Zbl0348.68013MR408290
- 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. Zbl0364.68018MR448988
- 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. Zbl0369.68008MR474954
- 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. Zbl0203.16402MR148258
- 11. T. S. E. MAIBAUM, A Generalized Approach to Formal Languages, J. Comput. System Sc., vol. 8, 1974, p. 402-432. Zbl0361.68113MR366112
- 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. Zbl0245.68011MR440993
- 13. M. NIVAT, On the Interpretation of Recursive Program Schemes, Symposia Mathematica, vol. 15. 1975, p. 255-281. Zbl0346.68041MR391563
- 14. G.D. PLOTKIN, Call-by-Name, Call-by-Value and the W-Calculus, Theor. Computer Science, vol. 1, 1975, p. 125-159. Zbl0325.68006MR429501
- 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.
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.