Estensione di un debugger reversibile per Erlang con feature imperative

In un linguaggio reversibile, qualsiasi calcolo in avanti può essere annullato da una sequenza finita di passaggi all'indietro. Il calcolo reversibile è stato studiato nel contesto di diversi linguaggi di programmazione e formalismi. In questa tesi si estende il lavoro fatto nell'articolo "A Theory of Reversibility for Erlang". Inizialmente si presentata l'estensione della semantica formale dell'articolo con delle feature imperative. Dopo di che viene mostrata la semantica per il calcolo reversibile e vengono dimostrate le sue proprietà principali, inclusa la coerenza causale. Infine, viene aggiunto un operatore di rollback che può essere utilizzato per annullare le azioni di un processo fino a un determinato punto di controllo.