| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
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.
https://hal.inria.fr/inria-00069959
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:42:46 PM
Last modification on : Friday, February 4, 2022 - 3:16:06 AM
Long-term archiving on: : Sunday, April 4, 2010 - 7:56:08 PM
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:42:46 PM
Last modification on : Friday, February 4, 2022 - 3:16:06 AM
Long-term archiving on: : Sunday, April 4, 2010 - 7:56:08 PM