ETD

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

Tesi etd-05212007-101922

Tipo di tesi

Tesi di laurea specialistica

URN

etd-05212007-101922

Titolo

Object Calculus: Teoria ed Implementazione

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

calcolo Sigma esteso con HO
Sigma_X

Data inizio appello

08/06/2007

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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.

File

Nome file	Dimensione
AppletSt...lassi.pdf	88.49 Kb
Consider...usive.pdf	6.38 Kb
Frontespizio.pdf	31.55 Kb
Indice.pdf	7.54 Kb
NAppendiceA.pdf	20.36 Kb
NAppendiceB.pdf	7.94 Kb
NAppendiceC.pdf	25.52 Kb
NAppendiceD.pdf	7.17 Kb
NAppendiceE.pdf	8.18 Kb
NBibliografia.pdf	12.96 Kb
NCapitolo1.pdf	73.01 Kb
NCapitolo2.pdf	117.77 Kb
NCapitolo3.pdf	51.38 Kb
NCapitolo4.pdf	10.05 Kb
NCapitolo5.pdf	262.76 Kb
NCapitolo6.pdf	70.71 Kb
SupportS...lassi.pdf	93.67 Kb
TabelleS...lassi.pdf	36.58 Kb
TerminiS...lassi.pdf	405.65 Kb
TipiStru...lassi.pdf	127.18 Kb
Contatta l’autore