ETD

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

Tesi etd-09202005-164253

Tipo di tesi

Tesi di laurea specialistica

URN

etd-09202005-164253

Titolo

Non-interferenza in un calcolo a oggetti parallelo

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

calcolo a oggetti
flusso di informazione sicuro
interpretazione astratta
non-interferenza

Data inizio appello

14/10/2005

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

Il problema della non-interferenza, noto anche con il nome di flusso di informazione sicuro, viene affrontato attraverso l'utilizzo dell'interpretazione astratta che garantisce migliori risultati (cioè un maggior numero di programmi certificati) rispetto alle analisi statiche basate sull'uso di sistemi di tipi.
Lo studio viene svolto su un calcolo a oggetti arricchito con primitive per la specifica di programmi concorrenti.

File

Nome file	Dimensione
tesi_ultima.pdf	439.55 Kb
Contatta l’autore