On oppose généralement la sémantique naturelle, d'un point de vue mathématique, du passage par nom à l'efficacité du passage par valeur. L'analyse de "strictness", que l'on situe ici dans le cadre d'un langage applicatif, a pour but la détection des situations indifférentes à l'un ou l'autre type de passage des arguments. Pour soutenir cette analyse, on développe une méthode d'interprétation abstraite basée sur un domaine à deux valeurs. On démontre la correction de cette méthode et on exploite les résultats de l'analyse pour générer un interpréteur "hybride" respectant la définition naturelle du passage par nom mais nettement plus efficace.
Analyse de strictness des langages applicatifs par l'interprétation abstraite
Pollet, I. (Auteur). 1997
Student thesis: Master types › Master en sciences informatiques