Up a level |
Spiller, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0244]. - Analisi statiche per la stack inspection. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Rossignoli, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0245]. - Analisi di non ciclicità per strutture dati ricorsive. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Olivieri, Simone and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0246]. - Analisi critica della decompilazione di Java bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Saluth, Luca Agha Mohammadi and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0247]. - Analisi di classe con informazione di raggiungibilità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Secci, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0250]. - Analisi di sharing per java bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marcolungo, Diego and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0251]. - Generazione di bytecode anomali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Petruccelli, Alex and Spoto, Nicola Fausto (rel.) (2003) [BM Tesi I 0270]. - Rassegna e confronto di compilatori Just in Time per Java. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pietrangeli, Roberto and Spoto, Nicola Fausto (rel.) (2003) [BM Tesi I 0271]. - Allocazione degli oggetti in regioni per il linguaggio Java. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.