Objectifs
À la fin de cette UE, vous serez capable de :
- Se servir de plusieurs styles de programmation,
- Maitriser les fondements de la programmation impérative et fonctionnelle (Lambda-calcul),
- Étudier les propriétés de sûreté et de vivacité d’une solution d’exclusion mutuelle en programmation impérative/concurrente.
- Enseignant: Anis Tissaoui