@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/} }
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. On Algebraic Semantics of Polyadic Recursive Schemes in Les Arbres en Algèbre et en Programmation, 2nd Colloque, Lille 1977. | Zbl
et ,2. Least Fixed Points Revisited, Theor. Computer Science, vol. 2, 1976, p. 155-181. | MR | Zbl
,3. 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. Recursive Definitions of Partial Functions and their Computation, Ph. D. Thesis Standford University, 1972.
,5. Communication personnelle.
,6. IO and OI, Daimi Report PB 47, University of Aarhus, 1975.
et ,7. 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. 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. 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. 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. A Generalized Approach to Formal Languages, J. Comput. System Sc., vol. 8, 1974, p. 402-432. | MR | Zbl
,12. Fixpoint Approach to the Theory of Computation, Comm of the Assoc. Comput. Mach., vol. 15, 1972, p. 528-536. | MR | Zbl
et ,13. On the Interpretation of Recursive Program Schemes, Symposia Mathematica, vol. 15. 1975, p. 255-281. | MR | Zbl
,14. Call-by-Name, Call-by-Value and the W-Calculus, Theor. Computer Science, vol. 1, 1975, p. 125-159. | MR | Zbl
,15. Outline of a Mathematical Theory of Computation, Oxford University, 1970.
,16. Syntaxe, sémantique et axiomatique d'un langage de programmation simple, Thèse d'État, Paris, 1974.
,