@article{ITA_1977__11_3_237_0, author = {Kott, Laurent}, title = {S\'emantique alg\'ebrique d'un langage de programmation type {Algol}}, journal = {RAIRO. Informatique th\'eorique}, pages = {237--263}, publisher = {Centrale des revues, Dunod-Gauthier-Villars}, address = {Montreuil}, volume = {11}, number = {3}, year = {1977}, mrnumber = {474954}, zbl = {0369.68008}, language = {fr}, url = {http://www.numdam.org/item/ITA_1977__11_3_237_0/} }
TY - JOUR AU - Kott, Laurent TI - Sémantique algébrique d'un langage de programmation type Algol JO - RAIRO. Informatique théorique PY - 1977 SP - 237 EP - 263 VL - 11 IS - 3 PB - Centrale des revues, Dunod-Gauthier-Villars PP - Montreuil UR - http://www.numdam.org/item/ITA_1977__11_3_237_0/ LA - fr ID - ITA_1977__11_3_237_0 ER -
%0 Journal Article %A Kott, Laurent %T Sémantique algébrique d'un langage de programmation type Algol %J RAIRO. Informatique théorique %D 1977 %P 237-263 %V 11 %N 3 %I Centrale des revues, Dunod-Gauthier-Villars %C Montreuil %U http://www.numdam.org/item/ITA_1977__11_3_237_0/ %G fr %F ITA_1977__11_3_237_0
Kott, Laurent. Sémantique algébrique d'un langage de programmation type Algol. RAIRO. Informatique théorique, Volume 11 (1977) no. 3, pp. 237-263. http://www.numdam.org/item/ITA_1977__11_3_237_0/
1. Nouvelles leçons de programmation, Publication de l'I.P., n° 75-29, Université Paris VI, Paris, 1975.
,2. A Transformation System for Developing Recursive Programs, Journal of Ass. Comp. Mach., Vol. 24, 1977, pp. 44-67. | MR | Zbl
and ,3. Program Equivalence and Canonical Forms in Stable Discrete Interpretations, 3° Colloque International, Automata, Languages and Programming, S. Michaelson, R. Milner Eds., pp. 168-188, Edinburgh University Progra Press, 1976. | Zbl
et ,4. Les arbres à feuilles indicées : un cadre algébrique pour l'étude des structures de contrôle, Thèse d'État, Université Paris-VII, Paris, 1977.
,5. Semantic Equivalence of Program Schemes and its Syntactic Characterization, 3° Colloque International, Automata, Languages and Programming, S. Michaelson, R. Milner Eds., Edinburgh University Press, 1976, pp. 189- 200. | Zbl
,6. Les tests et leur caractérisation syntaxique, R.A.I.R.O. série Informatique Théorique n° 2 1977, pp. 133-156. | Numdam | MR | Zbl
,7. The Logical Schemes of Algorithms, in Problems of Cybernetics, London, Pergamon Press, 1960, pp. 82-140. | Zbl
,8. Systèmes schématiques généralisés, Theoretical Computer Science, 3rd GI Conference, Darmstadt, Lecture Notes in Computer Science 48, H. Tzschach, H. Waldschmidt, H. K.-G. Walter Eds., Springer-Verlag, 1977, pp. 184-189. | MR | Zbl
,9. Approche par le magma d'un langage de programmation type Algol : sémantique et vérification de programm, Thèse 3° cycle, Université Paris-VII, Paris, 1976.
,10. Sémantique algébrique et principe d'induction : l'induction de Kleene, soumis à publication, 1977.
,11. A Basis for a Mathematical Theory of Computation, in Computer Programming and Formal Systems, P. Braffort, D. Hirschberg Eds., North-Holland, Amsterdam, 1963, pp. 33-70. | MR | Zbl
,12. Mathematical Theory of Computation, McGraw-Hill, New York, 1974. | MR | Zbl
,13. Fixpoint Approach to the Theory of Computation, Comm. of Ass. Comp. Mach. 15, 1972, pp. 528-536. | MR | Zbl
and ,14. Sur l'interprétation des schémas de programme monadique, Rapport IRIA-Laboria n°1, 1972.
,15. On the Interpretation of Recursive Polyadic Schemes, Instituto Nazionale di Alta Matematica, Symposia Mathematica, Volume XV, 1974, pp. 251-281.
,16. Fixpoint Induction and Proof of Program Properties, Machine Intelligence 5, B. Meltzer, D. Michie Eds., 1969, pp. 59-78. | MR | Zbl
,17. Towards a Mathematical Semantics for Computer Languages, Technical Memo PRC-G, Oxford University, Oxford, 1970.
and ,