Types abstraits (INFO605_INFO)
Présentation
Heures d'enseignement
| Cours Magistral | 6h | |
| Travaux Dirigés | 9h | |
| Travaux Pratiques | 12h |
Plan du cours
CM
Notion de sémantique formelle. Sémantiques opérationnelles et dénotationnelles. Sémantiques axiomatiques, sémantique de Hoare. Structuration itérative des programmes, invariants de boucle. Concept de type abstrait. Signature d’un type abstrait, sémantique à base d’axiomes. Etude des structures de données classiques en tant que types abstraits : liste, pile, file, ensemble, arbre. Formalisation de la notion de tri par types abstraits.
TD et TP
Application de la notion de sémantique axiomatique sur différents algorithmes. Spécification de structures de données et de logiciels à base de types abstraits.
Contacts
