Département d'Informatique
Laboratoire des Méthodes de Programmation
(LAMP)
École Polytechnique Fédérale de Lausanne
Compilation semestre d'hiver 2003/2004

Partie VI : Analyse des types

16/12/2003


Démarrer ici


Table des matières

Partie VI : Analyse des types

Règles de typage

Grammaires attribuées

Grammaires attribuées (2)

Grammaires attribuées (3)

Attributs

Spécification de la grammaire contextuelle de misc

Spécification de la grammaire contextuelle de misc (2)

Spécification de la grammaire contextuelle de misc (3)

Spécification de la grammaire contextuelle de misc (4)

Le Sous-Typage

Comment obtenir un compilateur à partir d´une spécification

Exemple

Représentation des attributs

Exemple

Exemple (2)

Optimisations :

Optimisations (2)

Résumé

Spécification complète de la grammaire contextuelle de misc

Spécification complète de la grammaire contextuelle de misc (2)

Spécification complète de la grammaire contextuelle de misc (3)

Spécification complète de la grammaire contextuelle de misc (4)

Auteur: Martin Odersky

Contact: Martin.Odersky@epfl.ch

Téléchargement: version Postscript (version .gz) (version .pdf)

Version pour Internet Explorer


Compilation
Enseignement
Dernière modification: 16/12/2003, Philippe Altherr <Philippe.Altherr@epfl.ch>