Tesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2020

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: C | D | L | N | P
Numero di documenti: 7.

C

Castiglioni, Marco (2020) Un confronto tra i linguaggi di programmazione per smart contract: Move e Solidity. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

D

Davoli, Davide (2020) Formalizzazione di una rappresentazione canonica dello sharing per la valutazione call-by-value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

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.

L

Lami, Pietro (2020) Estensione di un debugger reversibile per Erlang con feature imperative. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

N

Nicoletti, Alberto (2020) Meta-programmazione di binding OCaml per GTK3. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

P

Pascali, Andrea (2020) Implementazione di un Algoritmo su Grafi per la Conversione di λ-Termini. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento full-text non disponibile

Polidori, Daniele (2020) Implementazione in un linguaggio logico con vincoli di ordine superiore della type inference di Haskell. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Thu Mar 28 11:19:52 2024 CET.
^