Correction et optimalité de la simplification d'expressions arithmétiques

CentraleSupélec	LMF, UMR CNRS 9021
Département informatique	Laboratoire Méthodes Formelles
Bât Breguet, 3 rue Joliot-Curie	Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, France	Rue Noetzlin, 91190 Gif-sur-Yvette, France

Table des matières

Syntaxe abstraite et évaluation des expressions Syntaxe