Struttura del corso 1
macchine astratte, interpreti, compilatori, implementazioni miste
cenni di semantica denotazionale ed operazionale
- il linguaggio di specifica-implementazione (Ocaml)
tipi di dato, tipi di dato astratti, tipi
ambiente, dichiarazioni, blocchi
sottoprogrammi, regole di scoping, passaggio di parametri