CANofGAS

Deux réussites scientifiques majeures dans l’étude des langages de programmation d’ordre supérieur -- qui sont des langages où les entrées et les sorties d’une programme ne sont plus simplement des nombres, des chaines de caractères, ou une combinaison de ces types de données, mais peuvent être eux-même des programmes – sont :

1) La reformulation de la description sémantique de ces programmes comme des jeux (plutôt que des fonctions)

2) le développement récent de mesures raisonnables de complexité, permettant des analyses de coûts significatifs (qui n’étaient pas accessible auparavant.

Le but de CANofGAS est de combiner ces deux directions de recherche, en développant des modèles de coûts pour les sémantiques des jeux des programmes d’ordre supérieur. En particulier, nous cherchons à modéliser l'efficace stratégie d’évaluation de l’appel par nécessité, que l’on retrouve par exemple dans le langage Haskell et l’assistant de preuve Coq, et qui admet une théorie des coûts mais pas encore de sémantique des jeux.