Tesi etd-05212007-101922 |
Link copiato negli appunti
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.
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 |
|