UPMC  > 

Cette page est la page officielle du cours du 1er semestre 2019/2020 intitulé « Typage et Analyse Statique » qui s'adresse aux étudiants de master de l'UPMC. La description de la brochure du module se trouve ici.

Nouvelles fraîches

Notes de cours, TD et TME

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux (LIP6), Romain Demangeon (LIP6), Antoine Miné (LIP6), Matthieu Journault (LIP6).
Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Examens et notation

L'évaluation de ce module comprend :

  • sur la partie analyse statique
    • interrogation(s) (10% de la note)
    • présentation d'article (20% de la note)
    • projet initié en TME (20% de la note)

    Langages et environnements de travail

    Bibliographie

    Quelques lectures autour de la fiabilité logicielle et des langages :

    Ouvrages de référence :

    • sur le typage
      • Types and Programming Languages - B. Pierce - The MIT Press
    • sur l'analyse statique
      • Principles of Program Analysis - F. Nielson, H. Nielson et C. Hankin - Springer

    Autres liens



    Remarques?    dernière modification : 13/11/2019