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
- controle flash 1 (1h30) 25%
- controle flash 2 (1h30) 25%
- controle terminal (2h) 50%
Plan du cours
- Introduction à Rust. Ownernship. Traits. Smart Pointers.
- Evaluation d’expression arithmétique. Notion d’espace de noms et de
pile. Interpréteur µRust.
- Paradigmes de gestion mémoire. Notion de tas. Extension de
µRust.
- Introduction à Prolog. Arbre de recherche. Coupure. Interpréteur
Datalog.
- Unification. Inférence de type. Interpréteur Prolog.
Calendrier prévisionnel
Supports de cours
CM
TD
TP
- Intro Rust 1: Ownership (sujet) (corrigé)
- Intro Rust 2: Traits (sujet)
(corrigé)
- Intro Rust 3: Smart Pointers (sujet) (corrigé)
- µRust 1 : pile des espaces de noms (sujet)
- Introduction à Swish Prolog (sujet)
- µRust 2 : gestion mémoire (sujet)
- Interprète Datalog (sujet)
- Inférence de type (sujet)
Annales
Ressources
Bibliographie
(pour la partie programmation logique)