Il linguaggio Janus concorrente: definizione, compilazione e sperimentazione

Sammarchi, Andrea (2019) Il linguaggio Janus concorrente: definizione, compilazione e sperimentazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons: Attribuzione - Non commerciale - Non opere derivate 3.0 (CC BY-NC-ND 3.0)

Download (411kB)

Abstract

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.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Sammarchi, Andrea
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
background,Janus,ANTLR,concorrenza,message passing,compilatore,sperimentazione
Data di discussione della Tesi
18 Dicembre 2019
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^