Sup Galilée Informatique 1ère année

Sémantique des Langages de Programmation

2009/2010

Stefano Guerrini

1. Calendrier
2. Support du cours

Calendrier

1. 01/03/2010:
   CM: 8h30-10h00 - F103
   • Introduction
   • Syntaxe abstraite
   • Induction structurelle
   • Le langage While
   • Domaine et fonction sémantiques
   • Sémantique des numeraux et des expressions
   • Variables libres et substitutions
   Support du cours:
   • Slides: Introduction, langage While et sémantique des expressions
   TD: 10h15-11h45 - F103
   • Exercices: feuille 1
2. 08/03/2009:
   CM: 8h30-10h00 - C320
   • Révision des contenus du premier cours
   • Introduction à la sémantique operationelle
   • Systèmes de transition
   • Sémantique naturelle
   • Sémantique des commandes
   Support du cours:
   • Slides: Sémantique opérationnelle
   TD: 10h15-11h45 - C320
   • Exercices: feuille 1
3. 15/03/2009:
   CM: 8h30-10h00 - G101
   • Révision de la sémantique des commandes
   • Determinisme de la sémantique naturelle
   • Déductions en sémantique naturelle.
   • Une exemple: la fonction factoriel
   Support du cours:
   • Slides: Sémantique opérationnelle
   TD: 10h15-11h45 - G101
   • Exercices: feuille 2.1
4. 22/03/2009:
   CM: 8h30-10h00 - G107
   • Sémantique opertionnelle struturée (SOS)
   • Séquences de dérivation en SOS
   • Une exemple: la fonction factoriel
   • Équivalence entre la sémantique naturelle et la SOS
   Support du cours:
   • Slides: Sémantique opérationnelle
   TD: 10h15-11h45 - G107
   • Exercices: feuille 2.2
5. 29/03/2009:
   CM: 8h30-10h00 - G107
   • Equivalence entre la sémantique naturelle et la sémantique operationnelle structurée
   Support du cours:
   • Notes: Equivalence entre la sémantique naturelle et la sémantique operationnelle structurée
   TD: 10h15-11h45 - G107
   • Equivalence entre la sémantique naturelle\\ et la sémantique operationnelle structurée

---

12/04/2009:
Partiel de mi-semestre: 8h30-11h45 - G107

---

6. 03/05/2009:
   CM: 8h30-10h00 - F001
   TD: 10h15-11h45 - F001
7. 10/05/2009:
   CM: 8h30-10h00 - G105
   TD: 10h15-11h45 - G105
8. 17/05/2009:
   CM: 8h30-10h00 - G105
   TD: 10h15-11h45 - G105
9. 31/05/2009:
   CM: 8h30-10h00 - G101
   TD: 10h15-11h45 - G101

---

12/04/2009:
Partiel: 8h30-11h45 - ???

Support du cours