OBJECT CALCULUS: TEORIA ED IMPLEMENTAZIONE

You are viewing the theme
[Voti: 0    Media Voto: 0/5]

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.