Proceduralni jezici - FESB

Ekvivalencija po imenu
Dva tipa su ekvivalentna ako označavaju istu vrst deklaracije.
Primjer:
typedef int i;
int j;
Očito su tipovi od x i y ekvivalentni.
Primjer,
type PackerSalaries = int[100];
type AssemblySizes = int[100];
PackerSalaries salary;
AssemblySizes size;
Sada salary = size; nema ekvivalenciju po imenu
Formalno, definira se N (ekvivalencija po imenu) s:
(a) T N T
(b) Za deklaraciju oblika
Type T1 = T2;
T1 N T2
U analizi se anonimni tipovi tretiraju kao da imaju jedinstveno ime, tako
int A[10]; se razmatra kao typedef int[10] T;
T A;
42