Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali)