Tesi etd-06162011-110822 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
SPIZZICA, CARMELO
URN
etd-06162011-110822
Titolo
Progetto e realizzazione di una estensione al compilatore Java per la verifica delle interfacce
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Prof.ssa De Francesco, Nicoletta
relatore Ing. Lettieri, Giuseppe
relatore Ing. Lettieri, Giuseppe
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
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.
File
| Nome file | Dimensione |
|---|---|
La tesi non è consultabile. |
|