Generazione del Codice

Esercizio 24

Si supponga di estendere un linguaggio imperativo come Simple, con il seguente costrutto iterativo

loop B₁:S₁; ...; B_k:S_kend

dove S₁, ..., S_k  sono comandi e B₁,..., B_k sono espressioni booleane. Il commando prescrive di ripetere la sequenza se almeno uno dei B_i sia risultato vero.

Parte A
Si dia uno schema di traduzione discendente che generi il codice a 3 indirizzi
Parte B
Si dia uno schema di traduzione ascendente che generi il codice a 3 indirizzi uilizzando solo attributi sintetizzati e limiti il ricorso agli effetti laterali al solo impiego di emit e quad.

[ Home | Back ]

Ultimo aggiornamento 18 giugno 2002