Séances de cours associées à Correspondance de Galois

Séances de cours associées (32)

Explore les points fixes dans les ensembles G, les applications entre les ensembles et la construction d'orbites.

Interprétation abstraite et domaine Octagon

Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.