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
Numero di documenti: 7.

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]

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.

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]

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

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 Fri Jul 19 04:22:00 2024 CEST.
^