Compilazione, deployment e analisi statica di un linguaggio per distributed applications

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:
[img] 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
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
De Santis, Stefano
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
smart contract,ocaml,ethereum,solidity,gadt,cofloco,analisi statica,compilatore,microSolidity,deploy
Data di discussione della Tesi
16 Dicembre 2020
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^