Systèmes de Types et Programmation

Informations

Langue d'enseignement : Anglais
Crédits ECTS: 3

Programme

  • Heures d'enseignement dispensées à l'étudiant : 24 heures
  • Temps de travail personnel : 51 heures

Objectifs et compétences

Objectifs :
Les systèmes de types sont un moyen efficace pour la validation et la correction des programmes. Ce cours introduit et illustre plusieurs systèmes de types depuis leurs fondements théoriques jusqu'à leurs applications dans les langages de programmation.

----

Type systems provide an effective tool for the validation and correction of programs. This course introduces and illustrates several type systems from their theoretical foundations to their applications in programming languages.

Compétences :
  • Comprendre et mettre en oeuvre l'intérêt et les principes de la démarche de recherche fondamentale et/ou appliquée
  • Savoir se remettre en question, faire preuve d'esprit critique
  • Construire et développer une argumentation.

  • Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
  • Maîtriser les bases de la logique et organiser un raisonnement mathématique.
  • Être capable de traduire un problème simple en langage mathématique.
  • Connaître les principaux paradigmes de programmation et sélectionner un langage adapté à une situation donnée
  • Identifier les limites de l'informatique en termes de calculabilité et de complexité
  • Modéliser une situation concrète en un énoncé formel au moyen d'outils (e.g., automates, langages, grammaires, graphes)
  • Comprendre une preuve de correction d'algorithme (e.g., variants/invariants, induction, convergence)

Organisation pédagogique

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

Contrôle des connaissances

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

Pas de seconde session

Lectures recommandées

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

Responsable de l'unité d'enseignement

Philippe Narbel

Enseignants

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