Un compilatore per un linguaggio per smart contract intrinsecamente tipato

Bucciarelli, Stefano (2019) Un compilatore per un linguaggio per smart contract intrinsecamente tipato. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
[thumbnail of Thesis] Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons: Attribuzione - Non commerciale - Non opere derivate 3.0 (CC BY-NC-ND 3.0)
Download (154kB)

Abstract

La tesi mostra il lavoro svolto in supporto a un'analisi statica sugli smart contract. In particolare mostra l'implementazione di un parser e di un compilatore, per un linguaggio per smart contract

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Bucciarelli, Stefano
Relatore della tesi
Sacerdoti Coen, Claudio
Scuola
Scienze
Corso di studio
Informatica [L-DM270]
Ordinamento Cds
DM270
Parole chiave
smart contract solidity,compilatore,parser,generlized algebraic data type,intrinsically typed data structure,parser combinator
Data di discussione della Tesi
18 Dicembre 2019
URI
https://amslaurea.unibo.it/id/eprint/19573

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2025.

^