Programming Language Specifications and Environments
Abstract
These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.
Reports
(Technical Report)
Year : 1997
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00069959
Submitted on : Friday, May 19, 2006-6:42:46 PM
Last modification on : Wednesday, March 15, 2023-8:58:08 AM
Long-term archiving on: Sunday, April 4, 2010-7:56:08 PM
Dates and versions
Identifiers
- HAL Id : inria-00069959 , version 1
Cite
Yves Bertot. Programming Language Specifications and Environments. [Technical Report] RT-0212, INRIA. 1997, pp.47. ⟨inria-00069959⟩
Collections
43
View
463
Download