LíENVIRONMENT
La definizione di una funzione introduce un nuovo binding nellíenvironment di definizione della funzione
- in C, il global environment
Al momento dellíinvocazione, si crea un nuovo environment
- una struttura che contiene i binding dei parametri e degli identificatori dichiarati localmente alla funzione.