Séances de cours associées à Sémantique algébrique (informatique)

Lambda Calculus: Sémantique opérationnelle et stratégies d'évaluation

Couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda, y compris redex, les stratégies d'évaluation alternatives et les booléens de l'Église.

Abstraction de données : modules et spécifications dans Coq

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

Des tests à la preuve

Explore le passage des tests logiciels aux spécifications formelles, en soulignant l'importance d'exigences claires en génie logiciel.

Synthèse de haut niveau: circuits élastiques formellement vérifiés

Présente le développement d'un compilateur de synthèse de haut niveau vérifié pour les circuits élastiques.

Sémantique opérationnelle : Amyli Language

Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.