Cours donnés par des enseignants d'autres sections
SÉMANTIQUE DES LANGAGES INFORMATIQUES
12X008
Enseignant
K. ALTISEN
Période
Semestre de printemps
- Crédits ECTS
- 4
- Pré-requis
- bon niveau de programmation fonctionnelle et impérative.
- Évaluation
- examen écrit.
- Sessions d’examen
- juin - septembre
01
Volume d’enseignement
| Période | Cours | Exercices | TP | Total |
|---|---|---|---|---|
| Par semaine | 2 | 2 | 1* | 4 |
| Par semestre | 28 | 28 | None | 56 |
Cours
2par semaine
28par semestre
Exercices
2par semaine
28par semestre
TP
1*par semaine
Nonepar semestre
Total
4par semaine
56par semestre
02
Objectifs
Ce cours est une introduction à la sémantique des langages de programmation en s'appuyant sur les deux approches :
- Sémantique opérationnelle
- Sémantique dénotationnelle
03
Contenu
Nous présenterons
- les idées fondamentales derrières ces approches
- leurs relations en exprimant et prouvant les théorèmes correspondants
- des illustrations à l'aide d'un langage jouet et de langages usités
Documentation : Polycopié et liste d’ouvrages de référence. Préparation pour : Génie logiciel, Compilateurs et interprètes.