Generazione del Codice

dove S₁, ..., S_k  sono istruzioni e B₁,..., B_k  sono espressioni booleane e che prescrive di ripetere il ciclo fintantoché le istruzioni S₁ non siano state eseguite tutte almeno una volta. Se ne dia lo schema discendente deterministico che genera il codice a tre indirizzi come effetto laterale e calcoli come attributo la lista delle istruzioni di trasferimento incomplete. Si supponga di avere lo schema per B e per le altre istruzioni S.