@article{ITA_1976__10_3_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--21}, publisher = {Dunod-Gauthier-Villars}, address = {Paris}, volume = {10}, number = {R3}, year = {1976}, mrnumber = {423858}, zbl = {0356.68025}, language = {fr}, url = {http://www.numdam.org/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 - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique PY - 1976 SP - 5 EP - 21 VL - 10 IS - R3 PB - Dunod-Gauthier-Villars PP - Paris UR - http://www.numdam.org/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 Revue française d'automatique informatique recherche opérationnelle. Informatique théorique %D 1976 %P 5-21 %V 10 %N R3 %I Dunod-Gauthier-Villars %C Paris %U http://www.numdam.org/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. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 10 (1976) no. R3, pp. 5-21. http://www.numdam.org/item/ITA_1976__10_3_5_0/
5. 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. 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.), Reporton the Algorithmic Language Algo 68, 8, Mathematisch Centrum, Amsterdam, MR 101, 1969. | Zbl
, et ,