eSpèces, Syntaxe et Sémantique – SSS

Le projet S3 va développer de nouveaux outils théoriques pour comprendre finement l'utilisation des ressources par les programmes -- centrale en complexité et en optimisation des langages de programmation. La difficulté principale qu'il faudra résoudre est l'interaction entre les arguments qui ne peuvent être utilisés qu'une seule fois et ceux qui peuvent être utilisés à volonté. Ce problème évoque la dérivation mathématique, qui transforme une fonction en une fonction d'un argument linéaire. Cette analogie a été formalisée avec l'introduction du lambda-calcul différentiel. Le projet va approfondir la compréhension calculatoire et logique de la dérivation (et de l'intégration) dans ce contexte. Le projet rassemble de jeunes chercheurs prometteurs en sémantique, langages de programmation et combinatoire. Le but à long terme est de poser les bases d'un langage de programmation pour gérer l'utilisation des ressources en utilisant les derniers développements en sémantique quantitative.