Spirito del corso 4
il livello di descrizione non sarà mai quello di un “manuale d’uso”, che quasi sempre non contiene
- nè una descrizione formale della semantica indipendente dall’implementazione
- necessaria per poter ragionare sul significato dei programmi che scriviamo
- nè una descrizione delle strutture a tempo di esecuzione della particolare implementazione
- necessaria per ragionare sulla “performance” dei nostri programmi
queste due cose (e la relazione fra di esse) sono l’oggetto di interesse di questo corso