Programming Language Specifications and Environments

These are course notes on programming language formal descriptions and their use to build programming environments and to prove properties of these languages.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00069959
Author Bertot, Yves
Maintainer CCSD
Last Updated May 17, 2026, 21:05 (UTC)
Created May 17, 2026, 21:05 (UTC)
Identifier Report N°: RT-0212
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Design and Implementation of Programming Tools (CROAP) ; Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Bertot, Yves
date 1997-05-17T00:00:00
harvest_object_id cd87ed89-0e69-4a2d-99fd-e0e51529cf5c
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-26T00:00:00
set_spec type:REPORT