-
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. -
AS, for Abstract Syntax Manual - V1.0
This is the manual for AS, an abstract syntax specification formalism. The main features of this formalism are modularity and support for second-order abstract... -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage.
