Geodesic
Une formalisation de la sémantique des langages de programmation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976) no. R3, pp. 5-21.

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1976__10_3_5_0,
     author = {Finance, J.-P.},
     title = {Une formalisation de la s\'emantique des langages de programmation},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {5--21},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {10},
     number = {R3},
     year = {1976},
     mrnumber = {423858},
     zbl = {0356.68025},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1976__10_3_5_0/}
}
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
SP  - 5
EP  - 21
VL  - 10
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://geodesic.mathdoc.fr/item/ITA_1976__10_3_5_0/
LA  - fr
ID  - ITA_1976__10_3_5_0
ER  - 
%0 Journal Article
%A Finance, J.-P.
%T Une formalisation de la sémantique des langages de programmation
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1976
%P 5-21
%V 10
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1976__10_3_5_0/
%G fr
%F ITA_1976__10_3_5_0
Finance, J.-P. Une formalisation de la sémantique des langages de programmation. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976) no. R3, pp. 5-21. http://geodesic.mathdoc.fr/item/ITA_1976__10_3_5_0/

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.

19. J. L. Rémy, 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.

23. A. VAN WINJNGAARDEN (ed.), B. J. Mailloux, J. E. L. Peck et C. H. A. Koster, Reporton the Algorithmic Language Algo 68, 8, Mathematisch Centrum, Amsterdam, MR 101, 1969. | Zbl