Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Jacqueline Collet-Narboni
Responsable administrative

courriel : jacqueline.collet-narboni@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Typage et Analyse Statique (5I555) »

Ressources annuelles

Responsable de l'UE : Chailloux, emmanuel


Site de l'UE

Description de l'UE :

Ce cours présente dans le cadre de typage statique les différentes classes de polymorphisme des langages de programmation : paramétrique, objet, ad hoc, de rangées, borné, et leurs utilisations pour la conception de bibliothèques réutilisables. Il présente ensuite d'autres analyses statiques (systèmes de types étendus, systèmes d'effet, interprétation abstraite) pour vérifier des propriétés d'exécution des programmes.