Analyse des types

• réduire les tests à l’exécution

• peu d’informations dans les programmes (opérateurs polymorphes)

  • utilisation de directives

• interprocédurale avec clonage

function p=pgcd(a,b)

while (a ~= b)

if (a >b)

a = a-b;

else
b = b-a;

end
end
p = a;

aucune information

sur le type de a,b et p

ne peux être déduite (par

défaut mis en œuvre par des

matrices de complexes)

A(I) = B;

Sémantique dynamique des opérateurs :

«I» masque, indirection avec ou sans redimensionnement

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique