Generazione del Codice

dove S₁, ..., S_k sono istruzioni e B è un'espressione booleana. Se la condizione non vale equivale all'istruzione nulla, altrimenti la sequenza di istruzioni è ripetuta fintantoché B è vero. Se ne dia lo schema discendente che generi il codice a tre indirizzi come effetto laterale e calcoli come attributo la lista delle istruzioni di trasferimento incomplete.