Une formalisation de la sémantique des langages de programmation

J.-P. Finance

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

  • Volume: 10, Issue: R2, page 5-32
  • ISSN: 0988-3754

How to cite

top

Finance, J.-P.. "Une formalisation de la sémantique des langages de programmation." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 10.R2 (1976): 5-32. <http://eudml.org/doc/92035>.

@article{Finance1976,
author = {Finance, J.-P.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {R2},
pages = {5-32},
publisher = {EDP-Sciences},
title = {Une formalisation de la sémantique des langages de programmation},
url = {http://eudml.org/doc/92035},
volume = {10},
year = {1976},
}

TY - JOUR
AU - Finance, J.-P.
TI - Une formalisation de la sémantique des langages de programmation
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1976
PB - EDP-Sciences
VL - 10
IS - R2
SP - 5
EP - 32
LA - fre
UR - http://eudml.org/doc/92035
ER -

References

top
  1. 1. J. W. DE BAKKER, Fixed Point in Programming Theory, Lecture Notes for the Advanced Course on the Foundations of Computer Science, Amsterdam, 1974. 
  2. 2. J. W. DE BAKKER, Formal Definition of Programming Language, Mathematical Center Tracts, Mathematisch Centrum Amsterdam, vol. 16, 1967. Zbl0203.49204
  3. 3. A. BLIKLE, An Algebraic Approach to Semantics of Programs, Advanced Course on Semantics of Programming Languages, Saarbrücken, 1974. Zbl0296.68016
  4. 4. N. CHOMSKY, Aspects of the Theory of Syntax, The M.I.T. Press, Cambridge, Mass., 1965. 
  5. 5. J. P. FINANCE, Contribution à la Formalisation de la Sémantique d'un Langage de Programmation. Application à Algol 68, Thèse de 3e Cycle, Université de Nancy 1, 1974. 
  6. 6. GROUPE ALGOL DE L'AFCET, Définition du Langage Algorithmique Algol 68(traduction), Hermann, 1972. 
  7. 7. C. A. R. HOARE, An Axiomatic Basis for Computer Programming, Comm. A.C. M., 12, 1969, p. 576-583. Zbl0179.23105
  8. 8. C. A. R. HOARE, N. WIRTH, An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, 2, 1973, p. 335-356. Zbl0261.68040MR421129
  9. 9. C. A. R. HOARE, P. E. LAUER, Consistent and Complementary Formal Theories of the Semantics of Programming Language, Acta Informatica, 3 1974, p. 135-153 Zbl0264.68006MR464644
  10. 10. D. E. KNUTH, Semantics of Context Free Languages, Math. Systems Theory, 2, 1968, p. 127-145. Zbl0169.01401MR1555478
  11. 11. G. KREISEL, J. L. KRIVINE, Éléments de Logique Mathématique, Théorie des Modèles, Dunod, Paris, 1966. Zbl0146.00703MR207516
  12. 12. P. J. LANDIN, A Correspondence Between Algol 60 and Church's Lambda Notation, Comm. A. C. M., 8, 1965, p. 89-101. Zbl0134.33403MR172491
  13. 13. P. LUCAS, P. LAUER, H. STIGLEITNER, Method and Notation for the Formal Definition of Programming Languages, IBM Laboratory Vienna, Technical Report TR 25.087, 1968. 
  14. 14. J. MCCARTHY, Towards a Mathematical Science of Computation, Information Processing (POPPLEWELL ed.), Proceedings of I.F.I.P. Congress 1962, North-Holland, Amsterdam, 1963, p. 21-28. 
  15. 15. Z. MANNA, The Correctness of Programs, J. Comp. Syst. Sci., 3, 1969, p. 119-127. Zbl0285.68011MR278572
  16. 16. C. PAIR, Formalization of the Notions of Data, Information and Information Structure, in Data Base Management Systems, KLIMBIE-KOFFEMAN (ed.), North-Holland, 1974, p. 149-167. 
  17. 17. C. PAIR, Calculs, ensembles de calculs, équivalence de programme, in Symposia Mathematica, Rome, Academic Press, XV, 1975, p. 35-53. Zbl0336.68034MR386332
  18. 18. C. PAIR, A. QUERE, Définition et Études des Bilangages Réguliers, Information and Control, 13, 1968, p. 565-593. Zbl0181.01603MR250803
  19. 19. J. L. REMY, Structure d'Information, Formalisation des Notions d'Accès et de Modification d'une Donnée, Thèse de 3e Cycle, Université de Nancy 1, 1974. 
  20. 20. D. SCOTT, Continuous Lattices, Oxford Mono PRG-7, Oxford University, 1972. MR404073
  21. 21. J. R. SHOENFIELD, Mathematical Logic, Addison-Wesley, 1967. Zbl0155.01102MR225631
  22. 22. C. STRACHEY, D. SCOTT, Oxford Mono PRG-6, Oxford University, 1971. 
  23. 23. A. VAN WINJGAARDEN (ed.), B. J. MAILLOUX, J. E. L. PECK, C. H. A. KOSTER, Report on the Algorithmic Language Algol 68, Mathematisch Centrum, Amsterdam MR 101, 1969. Zbl0185.43104

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.