Explore l'interprétation abstraite en acier inoxydable, démontrant son application dans la vérification du programme et discutant des orientations futures pour le projet.
Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.
Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
