Types abstraits (INFO603_INFO)

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.

Volume horaire

  • CM : 6.0
  • TD : 9.0
  • TP : 12.0

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)