Sémantique algébrique d'un langage de programmation type Algol

Laurent Kott

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1977)

  • Volume: 11, Issue: 3, page 237-263
  • ISSN: 0988-3754

How to cite

top

Kott, 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. 1. J. J. ARSAC, Nouvelles leçons de programmation, Publication de l'I.P., n° 75-29, Université Paris VI, Paris, 1975. 
  2. 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. 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. 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. 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. 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. 7. I. IANOV, The Logical Schemes of Algorithms, in Problems of Cybernetics, London, Pergamon Press, 1960, pp. 82-140. Zbl0142.24801
  8. 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. 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. 10. L. KOTT, Sémantique algébrique et principe d'induction : l'induction de Kleene, soumis à publication, 1977. 
  11. 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. 12. Z. MANNA, Mathematical Theory of Computation, McGraw-Hill, New York, 1974. Zbl0353.68066MR400771
  13. 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. 14. M. NIVAT, Sur l'interprétation des schémas de programme monadique, Rapport IRIA-Laboria n°1, 1972. 
  15. 15. M. NlVAT, On the Interpretation of Recursive Polyadic Schemes, Instituto Nazionale di Alta Matematica, Symposia Mathematica, Volume XV, 1974, pp. 251-281. 
  16. 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. 17. D. SCOTT and C. STRACHEY, Towards a Mathematical Semantics for Computer Languages, Technical Memo PRC-G, Oxford University, Oxford, 1970. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.