Séances de cours associées à Sémantique des langages de programmation

Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur

Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.

Sémantique opérationnelle : Amyli Language

Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.

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.