Séance de cours
Cette séance de cours couvre le théorème du point fixe de Tarski dans les réseaux complets, le concept de continuité des omégas et la connexion de Galois dans l'interprétation abstraite. Il explique comment trouver des points fixes dans les réseaux, les propriétés des fonctions continues w et le processus itératif de calcul des points fixes. La séance de cours se penche également sur l'interprétation abstraite, les domaines concrets et abstraits, et l'analyse de gamme variable pour les états de programme. Il traite du calcul des points fixes dans la collecte des équations sémantiques et de la relation entre les domaines concrets et abstraits. En outre, il explore la postcondition abstraite, la connexion Galois, et le processus de résolution des fonctions abstraites.