Composante
UFR Sciences et Montagne
Heures d'enseignement
- Types abstraits - CMCours Magistral6h
- Types abstraits - TDTravaux Dirigés9h
- Types abstraits - TPTravaux Pratiques12h
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.