Type Analysis

• remove test at execution

• very few information in Matlab codes

  • directive usage

• interprocedural and cloning

function p=pgcd(a,b)
while (a ~= b)

if (a >b)

a = a-b;

else
b = b-a;

end
end
p = a;

no information on the type

of a,b and p can be

computed (matrix

complex type per default)

A(I) = B;

dynamic semantic of the operator :

«I» mask, indirection with or without re-dimensioning

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique