Types abstraits (INFO603_INFO)

Volume horaire

Présentation

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.

Diplômes intégrant ce cours

• Licence Informatique (L1, L2, L3)
• Cursus master en ingénierie : informatique