Module : Introduction à la Sémantique dénotationelle CODE ULIN505

Responsable	Stefano CERRI
Parcours intégrant UV	Informatique
Parcours possibles
Pré-Requis	Algèbre (ULMA201), Systèmes formels 1 (ULIN403), Programmation applicative 1 (ULIN201) et 2 (ULIN303)
Controle connaissances	5 ECTS Ecrit (32), Contrôle continu(18)

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S5	ULIN505	Introduction à la Sémantique dénotationnelle (sémantique des langages)	25h	25h	0h

Detail du programme

Introduction à la sémantique dénotationnelle

1. Les sémantiques des langages de programmation: dénotationnelle, opérationelle, axiomatique, algébrique (2 heures)

2. le language TINY: sémantique informelle

3. Revision des conceptes de base: fonctions définies récursivement; ensembles récursivement définis, lambda notation, application, fonctions génériques, composition, séquence.

4. La description dénotationnelle de TINY (sémantique standard)

5. Le langage SMALL : sémantique dénotationnelle

6. Sémantique des " escapes " et " jumps "

7. Procédures, procédures récursives, lien statique et dynamique, passage des paramètres (call by value, by reference, by need, ...)

8. structures de données

9. itération

10. types