-
A language and an Integrated Environment for Program Transformations
We present the TrfL language, a rule-based language designed for program transformations. For the end-user, TrfL is intended to support both direct manipulation in an... -
Sémantique Naturelle et Coq : vers la spécification et les preuves sur les la...
Le système Centaur permet la description d'un langage de programmation en Sémantique Naturelle. Cette description peut être exécutée (en Prolog) et testée puis... -
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.
