Retour au reportage Retour au reportage
20210159_0080

© Christian MOREL / IRIF / CNRS Images

Référence

20210159_0080

Etude des systèmes de types ensemblistes

Etude des systèmes de types ensemblistes. Écrire des programmes corrects et prouver leur exactitude est une tâche pleine de défis. Pour appréhender ce problème, les langages de programmation modernes sont équipés d’un système de typage. Les types sont des constructions syntaxiques semblables à des formules logiques qui permettent aux machines de vérifier automatiquement si les programmes respectent les types et ne produisent pas une certaine classe d’erreurs à l’exécution. Ici, les types sont étudiés en les interprétant comme des ensembles de valeurs d’un langage de programmation.

Délégation(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.