Une formalisation de la sémantique des langages de programmation
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R2, pp. 5-32.
@article{ITA_1976__10_2_5_0,
     author = {Finance, J.-P.},
     title = {Une formalisation de la s\'emantique des langages de programmation},
     journal = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {5--32},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {10},
     number = {R2},
     year = {1976},
     mrnumber = {423858},
     zbl = {0356.68025},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1976__10_2_5_0/}
}
TY  - JOUR
AU  - Finance, J.-P.
TI  - Une formalisation de la sémantique des langages de programmation
JO  - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
PY  - 1976
SP  - 5
EP  - 32
VL  - 10
IS  - R2
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://archive.numdam.org/item/ITA_1976__10_2_5_0/
LA  - fr
ID  - ITA_1976__10_2_5_0
ER  - 
%0 Journal Article
%A Finance, J.-P.
%T Une formalisation de la sémantique des langages de programmation
%J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
%D 1976
%P 5-32
%V 10
%N R2
%I Dunod-Gauthier-Villars
%C Paris
%U http://archive.numdam.org/item/ITA_1976__10_2_5_0/
%G fr
%F ITA_1976__10_2_5_0
Finance, J.-P. Une formalisation de la sémantique des langages de programmation. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R2, pp. 5-32. http://archive.numdam.org/item/ITA_1976__10_2_5_0/

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. J. W. De Bakker, Formal Definition of Programming Language, Mathematical Center Tracts, Mathematisch Centrum Amsterdam, vol. 16, 1967. | Zbl

3. A. Blikle, An Algebraic Approach to Semantics of Programs, Advanced Course on Semantics of Programming Languages, Saarbrücken, 1974.

4. N. Chomsky, Aspects of the Theory of Syntax, The M.I.T. Press, Cambridge, Mass., 1965.

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. GROUPE ALGOL DE L'AFCET, Définition du Langage Algorithmique Algol 68(traduction), Hermann, 1972.

7. C. A. R. Hoare, An Axiomatic Basis for Computer Programming, Comm. A.C. M., 12, 1969, p. 576-583. | Zbl

8. C. A. R. Hoare, N. Wirth, An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, 2, 1973, p. 335-356. | MR | Zbl

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 | MR | Zbl

10. D. E. Knuth, Semantics of Context Free Languages, Math. Systems Theory, 2, 1968, p. 127-145. | MR | Zbl

11. G. Kreisel, J. L. Krivine, Éléments de Logique Mathématique, Théorie des Modèles, Dunod, Paris, 1966. | MR | Zbl

12. P. J. Landin, A Correspondence Between Algol 60 and Church's Lambda Notation, Comm. A. C. M., 8, 1965, p. 89-101. | MR | Zbl

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. 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. Z. Manna, The Correctness of Programs, J. Comp. Syst. Sci., 3, 1969, p. 119-127. | MR | Zbl

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.C. Pair, Calculs, ensembles de calculs, équivalence de programme, in Symposia Mathematica, Rome, Academic Press, XV, 1975, p. 35-53. | MR | Zbl

18. C. Pair, A. Quere, Définition et Études des Bilangages Réguliers, Information and Control, 13, 1968, p. 565-593. | MR | Zbl

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.D. Scott, Continuous Lattices, Oxford Mono PRG-7, Oxford University, 1972. | MR

21. J. R. Shoenfield, Mathematical Logic, Addison-Wesley, 1967. | MR | Zbl

22.C. Strachey, D. Scott, Oxford Mono PRG-6, Oxford University, 1971.

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. | Zbl