Skip to Main content Skip to Navigation
Reports

Programming Language Specifications and Environments

Yves Bertot 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00069959
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:42:46 PM
Last modification on : Monday, September 3, 2018 - 10:56:02 AM
Long-term archiving on: : Sunday, April 4, 2010 - 7:56:08 PM

Identifiers

  • HAL Id : inria-00069959, version 1

Collections

Citation

Yves Bertot. Programming Language Specifications and Environments. [Technical Report] RT-0212, INRIA. 1997, pp.47. ⟨inria-00069959⟩

Share

Metrics

Record views

110

Files downloads

2326