Tipo di tesi
Tesi di laurea vecchio ordinamento
Titolo
Progetto e realizzazione di una estensione al compilatore Java per la verifica delle interfacce
Corso di studi
INGEGNERIA INFORMATICA
Parole chiave
- analysis
- bytecode
- class file
- data-flow
- interface verification
- javac
- type checking
Data inizio appello
07/07/2011
Consultabilità
Non consultabile
Data di rilascio
07/07/2051
Riassunto (Italiano)
In questa tesi abbiamo sviluppato un sistema, interno al compilatore javac, che esegue il type checking sulle interfacce Java. Questo meccanismo consente di inserire informazioni utili all'interno del classfile allo scopo di semplificare i processi di verifica attuati dalla Java Virtual Machine a tempo di esecuzione. Infine è stato valutato l'impatto di tali modifiche sulle prestazioni del compilatore in termini di velocità di compilazione.
