Types abstraits (INFO603_INFO)

Volume horaire: CM : 6h / TD : 9h / TP : 12h

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

En bref

Crédits ECTS : 3

Langue d'enseignement
Français

Contact(s)

UFR, Écoles, Instituts

Lieu(x)

  • Le Bourget-du-Lac (73)

Lieu(x) à l'étranger