es29


Con la semantica cosi' modificata, durante la valutazione
di un'applicazione, il corpo della funzione nella chiusura
che risulta dalla valutazione della prima espressione
dell'applicazione viene valutato non piu' a partire dal
puntatore al nuovo frame con le associazioni
parametri formali/parametri attuali (e quelle relative ai define locali),
collegato al frame indicato dal puntatore della chiusura,
bensi' a partire dal puntatore al frame indicato dal puntatore della
chiusura e modificato con le associazioni parametri formali/parametri attuali
(e quelle relative ai define locali).


Il valore di (f 5) nella sessione SCHEME indicata e con la
semantica operazionale modificata e' 5

|  x --> 4                                               |   n1
|  a --> 1                                               | <----
|  f --> < n1, (lambda (x) (let ((x 4)(a 1)) (+ a x))) > |
----------------------------------------------------------