ANR CoGITARe

Le projet ANR Jeune chercheur (JCJC) CoGITARe (Combining Graded and Intersection Types for the Analyses of Resources) porté par Flavien Breuvart, a été acceptée lors de l’Appel à Projets Générique 2018. D’une durée de 42 mois, le projet commencera en Mars 2019.


Résumé Scientifique du projet.

Les systèmes de types permettent de traiter automatiquement, et statiquement, des propriétés de sécurité sur des programmes de taille importante. Ce projet vise à étendre ces méthodes de typage à un large éventail de propriétés actuellement inaccessibles dans l’état de l’art; permettant, en particulier, l’analyse de propriétés quantitatives sur des programmes. Pour cela, nous utiliserons la notion émergeante de types gradés, ainsi que des méthodes d’analyses d’interprétation abstraite.