ETD system

Electronic theses and dissertations repository

 

Tesi etd-06162011-110822


Thesis type
Tesi di laurea vecchio ordinamento
Author
SPIZZICA, CARMELO
URN
etd-06162011-110822
Title
Progetto e realizzazione di una estensione al compilatore Java per la verifica delle interfacce
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Commissione
relatore Prof.ssa De Francesco, Nicoletta
relatore Ing. Lettieri, Giuseppe
Parole chiave
  • interface verification
  • bytecode
  • class file
  • data-flow
  • analysis
  • javac
  • type checking
Data inizio appello
07/07/2011;
Consultabilità
parziale
Data di rilascio
07/07/2051
Riassunto analitico
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