Analyse de strictness des langages applicatifs par l'interprétation abstraite

  • Isabelle Pollet

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

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.
la date de réponse1997
langue originaleFrançais
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

'