Ce module permet à l’étudiant de se rendre compte du fondement théorique des sémantiques des langages de programmation. Sur des exemples de langages simples, ce cours montrera les notions de sémantiques opérationnelles, dénotationnelles et axiomatiques sur différents paradigmes de programmation
Le raisonnement séquentiel a cédé le pas au raisonnement parallèle. L’objectif de ce cours est d’apprendre à l’étudiant de concevoir des algorithmes parallèles ainsi que la parallélisation d’algorithmes séquentiels. Ces aspects sont très utiles dans le domaine de la vérification des applications parallèles pour lesquelles les machines séquentielles ne répondent plus aux exigences de ces applications en termes de temps de calcul et de capacité de stockage.
- Teacher: HAKIM SOUSSI