Abstract FR:

L'analyse du flot de controle est une technique d'importance majeure pour la compilation efficace des langages de programmation fonctionnelle. Cette technique consiste, au moment de compiler un programme, a calculer une approximation de son graphe d'appel. Dans cette these, nous considerons deux approches theoriques pour formaliser l'analyse de flot de controle: l'inference d'effet et l'interpretation abstraite. La premiere methode que nous presentons, l'inference d'effet, peut etre definie comme une extension des techniques qui sont utilisees pour la verification du typage des programmes en ml. Ici, plutot que de nous limiter a adapter les techniques de typage a la ml pour faire de l'analyse de flot de controle, nous introduisons une notion avancee de sous-typage qui permet d'augmenter notablement la flexibilite et la precision de cette technique. La seconde methode que nous considerons est l'interpretation abstraite qui, utilisant des techniques d'approximation de point-fixe, permet notamment d'obtenir des informations plus precises. Nous proposons de combiner ces deux techniques, introduisant la notion d'analyse semantique separee. Nous proposons d'associer une analyse de programme basee sur l'interpretation abstraite, profitant ainsi d'une technique performante pour les expressions closes, avec l'utilisation d'un systeme d'effet, afin de pouvoir specifier des informations statiques en presence de compilation separee, et donc d'information partielle sur l'ensemble d'un programme. Enfin, nous etudions l'application de l'analyse de flot de controle pour choisir une strategie optimale pour l'allocation des fonctions