logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-06162011-110822


Thesis type
Tesi di laurea vecchio ordinamento
Author
SPIZZICA, CARMELO
URN
etd-06162011-110822
Thesis title
Progetto e realizzazione di una estensione al compilatore Java per la verifica delle interfacce
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore Prof.ssa De Francesco, Nicoletta
relatore Ing. Lettieri, Giuseppe
Keywords
  • analysis
  • bytecode
  • class file
  • data-flow
  • interface verification
  • javac
  • type checking
Graduation session start date
07/07/2011
Availability
Withheld
Release date
07/07/2051
Summary
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