Il linguaggio Janus concorrente: definizione, compilazione e sperimentazione

In questo progetto vi è lo studio di Janus, un linguaggio di programmazione reversibile. Il progetto consiste nello sviluppo di un compilatore per Janus con un estensione che permetta una programmazione concorrente ed un servizio di message passing. All'interno della tesi è presente un capitolo di background che presenta Janus e gli strumenti utilizzati. In seguito viene presentato il compilatore sviluppato e l'implementazione del meccanismo di concorrenza con il servizio di message passing. Infine viene mostrato come utilizzare il compilatore ed un ultimo capilo di sperimentazione. In quest'ultimo capitolo vengono mostrati alcuni esempi di programmi scritti in linguaggio Janus reversibile e concorrente.