Programming Language Specifications and Environments - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Technique) Année : 1997

Programming Language Specifications and Environments

Yves Bertot
Design and Implementation of Programming Tools

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0212.pdf (426.88 Ko) Télécharger le fichier

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

Télécharger pour visualiser

Dates et versions

inria-00069959 , version 1 (19-05-2006)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
52 Consultations
485 Téléchargements

Partager

More