Login
De Santis, Stefano
(2020)
Compilazione, deployment e analisi statica di un linguaggio per distributed applications.
[Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
![[thumbnail of Thesis]](https://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (234kB) | Contatta l'autore |
Abstract
In questa tesi viene discussa l'implementazione di un compilatore e un tool per il deploy di smart contract. Il linguaggio di partenza è microSolidity, un linguaggio finalizzato all'analisi di smart contract. Si analizzerà anche lo sviluppo di un tool di traduzione diretta da microSolidity verso CoFloCo, un linguaggio utilizzato per inferire dei bound alla complessità simbolica di programmi iterativi e ricorsivi.
Abstract
Altri metadati
Statistica sui download
Gestione del documento:
