Paradigmes et interprétation Partie 2

Année 2023-2024 - L3 Info - L3 math-info

Résumé

Le cours paradigmes et interprétation est un cours en deux parties dont le but est d’étudier divers paradigmes de programmation et d’écrire des interpréteurs pour des petits langages illustrants ces paradigmes.

Cette page contient les supports d’enseignement pour la deuxième partie du cours, qui traite du paradigme impératif, et de la gestion mémoire, et du paradigme logique.

Le langage support pour programmer des interpréteurs dans cette partie est le langage Rust.

Enseignant

Modalités de contrôle des connaissances

Plan du cours

  1. Introduction à Rust. Ownernship. Traits. Smart Pointers.
  2. Evaluation d’expression arithmétique. Notion d’espace de noms et de pile. Interpréteur IMP.
  3. Paradigmes de gestion mémoire. Notion de tas. Extension de IMP.
  4. Introduction à Prolog. Arbre de recherche. Coupure. Interpréteur Datalog.
  5. Unification. Inférence de type. Interpréteur Prolog.

Calendrier prévisionnel

Supports de cours

CM

TD

TP

Annales

Ressources

Bibliographie (pour la partie programmation logique)