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.
Date de réussite1997
langueFrançais
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

Analyse de strictness des langages applicatifs par l'interprétation abstraite
Pollet, I. (Auteur). 1997

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