Algorithmique distribuée + Systèmes de types et programmation

Informations

Langue d'enseignement : Français
Crédits ECTS: 6

Programme

- Non défini -

Objectifs et compétences

Objectifs :
L'objectif de partie "Algorithmique distribuée" est d'introduire l’algorithmique distribuée; présenter les différents modèles et contraintes du calcul distribué ; présenter et analyser quelques algorithmiques classiques du domaine ; concevoir des algorithmes s'exécutant sur des systèmes distribués.

L'objectif de la partie "Systèmes de types et programmation" est de montrer que les systèmes de types constituent un moyen efficace pour la validation et la correction des programmes. Le cours introduit les notions de base des systèmes de types en s'appuyant sur les modèles fondamentaux construits sur le lambda-calcul. Il ilustre leurs applications dans les langages de programmation courants. Enfin, il explore leurs limites en terme de capacité de vérification et de preuve de programme.

Organisation pédagogique

le mode de fonctionnement de l'UE est présenté au début des enseignements

Contrôle des connaissances

Algorithmique distribuée :

Session 1

> Contrôle continu coefficient 0.5

> Épreuve écrite de synthèse (durée 1h30, coefficient 0.5)

Session 2

> épreuve écrite (1h30) ou orale selon effectif, coeff. 0.5

> CC, report de la session 1, coeff. 0.5

Note finale session 2: max(NoteEx2, 0.5*NoteEx2 + 0.5*NoteCC)

Systèmes de Types et Programmation :

Session 1

> Évaluation par projet (contrôle continu intégral), coeff. 1

Pas de session 2.

Lectures recommandées

l'ensemble des références bibliographiques est communiqué au début des enseignements

Responsable de l'unité d'enseignement

Cyril Gavoille

Enseignants

la composition de l'ensemble de l'équipe pédagogique est communiquée au début des enseignements