Sémantique algébrique d'un langage de programmation type Algol
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1977)
- Volume: 11, Issue: 3, page 237-263
- ISSN: 0988-3754
Access Full Article
topHow to cite
topKott, Laurent. "Sémantique algébrique d'un langage de programmation type Algol." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 11.3 (1977): 237-263. <http://eudml.org/doc/92055>.
@article{Kott1977,
author = {Kott, Laurent},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {3},
pages = {237-263},
publisher = {EDP-Sciences},
title = {Sémantique algébrique d'un langage de programmation type Algol},
url = {http://eudml.org/doc/92055},
volume = {11},
year = {1977},
}
TY - JOUR
AU - Kott, Laurent
TI - Sémantique algébrique d'un langage de programmation type Algol
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1977
PB - EDP-Sciences
VL - 11
IS - 3
SP - 237
EP - 263
LA - fre
UR - http://eudml.org/doc/92055
ER -
References
top- 1. J. J. ARSAC, Nouvelles leçons de programmation, Publication de l'I.P., n° 75-29, Université Paris VI, Paris, 1975.
- 2. R. BURSTALL and J. DARLINGTON, A Transformation System for Developing Recursive Programs, Journal of Ass. Comp. Mach., Vol. 24, 1977, pp. 44-67. Zbl0343.68014MR451816
- 3. G. BERRY et B. COURCELLE, 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. Zbl0363.68036
- 4. G. COUSINEAU, 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. I. GUESSARIAN, 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. Zbl0364.68019
- 6. L. GUESSARIAN, Les tests et leur caractérisation syntaxique, R.A.I.R.O. série Informatique Théorique n° 2 1977, pp. 133-156. Zbl0364.68018MR448988
- 7. I. IANOV, The Logical Schemes of Algorithms, in Problems of Cybernetics, London, Pergamon Press, 1960, pp. 82-140. Zbl0142.24801
- 8. L. KOTT, 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. Zbl0375.68015MR502297
- 9. L. KOTT, 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. L. KOTT, Sémantique algébrique et principe d'induction : l'induction de Kleene, soumis à publication, 1977.
- 11. J. MCCARTHY, 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. Zbl0203.16402MR148258
- 12. Z. MANNA, Mathematical Theory of Computation, McGraw-Hill, New York, 1974. Zbl0353.68066MR400771
- 13. Z. MANNA and J. VUILLEMIN, Fixpoint Approach to the Theory of Computation, Comm. of Ass. Comp. Mach. 15, 1972, pp. 528-536. Zbl0245.68011MR440993
- 14. M. NIVAT, Sur l'interprétation des schémas de programme monadique, Rapport IRIA-Laboria n°1, 1972.
- 15. M. NlVAT, On the Interpretation of Recursive Polyadic Schemes, Instituto Nazionale di Alta Matematica, Symposia Mathematica, Volume XV, 1974, pp. 251-281.
- 16. D. PARK, Fixpoint Induction and Proof of Program Properties, Machine Intelligence 5, B. Meltzer, D. Michie Eds., 1969, pp. 59-78. Zbl0219.68007MR323149
- 17. D. SCOTT and C. STRACHEY, Towards a Mathematical Semantics for Computer Languages, Technical Memo PRC-G, Oxford University, Oxford, 1970.
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.