Typage et Analyse Statique
TAS

Partie typage

Liens du cours :

Typage (site 2019-2020)

Partie analyse statique (groupe INSTA)

Transparents du cours

Les transparents du cours sont postés ci-dessous au fur et à mesure :

Projet en TME

Le projet d’analyseur statique, à rendre le jour de l’examen final, sera développé en TME. Le projet est développé sur un GitLab privé. Vous y trouverez le sujet ainsi que les sources de base. Un compte sur le GitLab sera créé lors de la première séance de TME sur le projet (TME 8).

Examen final : présentation d’article

L’examen final prendra la forme d’une présentation orale en binôme d’un article scientifique le 2 avril 2020, à choisir dans une liste fournie prochainement. Chaque binôme doit choisir un article différent.

La présentation durera 15mn et sera suivie de 10mn de questions. Vous devrez obligatoirement préparer des transparents (de préférence au format PDF). Dans une présentation en binôme, les deux membres du binôme doivent présenter à part égale et répondre aux questions.

Ressources additionnelles

 
Documents utiles