Si consideri un linguaggio i cui programmi consistono di una
dichiarazione di variabili globali e di una sequenza di dichiarazioni
di procedura tutte allo stesso livello di profondità. Le
istruzioni dele procedure sono assegnamenti di espressioni aritmetiche
che fanno riferimento a variabili globali, variabili locali e
parametri formali oppure sono chiamate di procedura che passano alla
procedura chiamata variabili globali, variabili locali e parametri
formali, con la richiesta che una procedura chiamata sia stata
dichiarata precedentemente alla chiamata. Si dia lo schema per la
traduzione discendente che come attributo di un programma dia errore
quando ci sia in un assegnamento un riferimento che non sia a
variabile globale, locale o parametro della procedura o in una
chiamata non si passi una variabile globale, una variabile locale o un
parametro a una procedura dichiarata precedentemente. Le variabili
sono tutte del medesimo tipo. Non si faccia uso di tabelle globali ma
solo di attributi.