Spirito del corso 3
come vedremo, esistono un insieme di concetti semantici e di strutture di implementazione in termini dei quali si descrivono in modo naturale linguaggi diversi e loro implementazioni
- ed esiste una chiara relazione tra concetti semantici e strutture di implementazione
tali concetti e strutture mettono in evidenza ciò che è comune ai vari linguaggi e possono essere trattati a prescindere dal particolare linguaggio
per questa ragione, non tratteremo mai alcun linguaggio “vero”
- in particolare, ignoreremo completamente le differenze legate alle specifiche sintassi