logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-05212007-101922


Tipo di tesi
Tesi di laurea specialistica
Autore
Vaccarello, Pietro Giovanni
URN
etd-05212007-101922
Titolo
Object Calculus: Teoria ed Implementazione
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
Relatore Prof. Bellia, Marco
Parole chiave
  • calcolo Sigma esteso con HO
  • Sigma_X
Data inizio appello
08/06/2007
Consultabilità
Completa
Riassunto
Si affrontano gli aspetti di base e le caratteristiche salienti dei linguaggi OO, prendendo spunto dal Sigma calcolo (Cardelli) fino ad approdare alla sua estensione HO Sigma_X (Bellia - Occhiuto). Vengono trattati formalmente gli strumenti teorici per la realizzazione di un Type-System (Inferenza, Unificazione, proprietà). Infine si fornisce un' implementazaione dell'intero sistema in Java.