Précédent : Analyse des usages Remonter : Fondements scientifiques Suivant : Domaines d'applications
Précédent : Analyse des usages Remonter :
Fondements
scientifiques Suivant : Domaines d'applications
Considérons par exemple que la fonction f doive être vérifiée pour ensuite donner lieu à une traduction en langage machine. En compilation séparée, la seule information dont on dispose est la définition de la fonction f elle-même: aucune supposition ne peut être faite en ce qui concerne le contexte d'appel de la fonction f. Inversement, l'analyse globale permet de recenser tous les sites d'appel de la fonction f. Ce faisant, certains sites d'appels peuvent donner lieu à une évaluation partielle: par exemple lorsque la fonction prend un argument entier et qu'un site d'appel correspond à f (1). Bien entendu, pour un site d'appel f (x) avec x quelconque, aucune évaluation partielle n'est possible.
Dans le cadre des langages à objets, le type dynamique du receveur est une information essentielle en terme de vérification comme en terme d'optimisation.