Analisi Statica

Esercizio 11

Si abbia un linguaggio di tipi. I tipi consentiti sono: integer, real, record con campi che possono essere integer, real e record.

Esempi:

real
rec
     i : real,
     j : rec
           k : integer,
           l : real
       endrec,
      m : integer
   endrec

Si dia uno schema per l'analisi deterministica discendente che costruisca per un tipo una rappresentazione come suggerito in figura.

Ultimo aggiornamento 3 Maggio 1999