Abstract FR:

Cette these est consacree a la compilation efficace du flot de controle dans les langages fonctionnels. Nous proposons un nouveau langage intermediaire, nomme sqil, qui a ete concu par une methode rationnelle basee sur l'expression de proprietes implementatoires en semantique denotationnelle, sqil induit une methodologie de compilation originale, dite par specialisation explicite. Nous decrivons deux implementations performantes de sqil