Programming Language Specifications and Environments
Résumé
These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.
Rapport
(Rapport Technique)
Année : 1997
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00069959
Soumis le : vendredi 19 mai 2006-18:42:46
Dernière modification le : mercredi 15 mars 2023-08:58:08
Archivage à long terme le : dimanche 4 avril 2010-19:56:08
Dates et versions
Identifiants
- HAL Id : inria-00069959 , version 1
Citer
Yves Bertot. Programming Language Specifications and Environments. [Technical Report] RT-0212, INRIA. 1997, pp.47. ⟨inria-00069959⟩
Collections
43
Consultations
462
Téléchargements