INFO3104 : Théorie de la programmation

Accès directs

Theory of programming

Responsable(s) :

Eric Thierry

Enseignant(s) :

Daniel Hirschkoff

Niveau

L3 / 1e année

Discipline

Informatique

ECTS

6.00

Période

1e semestre

Département

Département d'Informatique

Localisation

Site Monod

Année

2026

Langue d'enseignement

Français

Public externe (ouverts aux auditeurs de cours)

Informations générales sur le cours : INFO3104

Content objectif

Le cours est une introduction à la sémantique des langages de programmation. On s'attache à définir formellement les langages de programmation, et l'exécution des programmes. On décrit des méthodes permettant de raisonner sur l'exécution des programmes, qui permettent, typiquement, de garantir l'absence de bugs.
Le cours propose en particulier une initiation à l'assistant de preuves Rocq.

Content prerequis

Connaissance d'un langage de programmation, si possible un langage de programmation fonctionnelle (OCaml, Haskel, ..).

Content modalites

2 heures de cours par semaine, 2 heures de TD ou TP par semaine.

Content renseignements

à définir

Content horaires

Horaires du cours

à définir

Content bibliographie

Glynn Winskel, The Formal Semantics of Programming Languages, MIT Press.
voir la page du cours sur le portail des études pour d'autres références.

Accès directs

Outils

Informations générales sur le cours : INFO3104