Thesis etd-09202005-164253 |
Link copiato negli appunti
Thesis type
Tesi di laurea specialistica
Author
Tiberi, Paolo
email address
tiberipa@libero.it
URN
etd-09202005-164253
Thesis title
Non-interferenza in un calcolo a oggetti parallelo
Department
SCIENZE MATEMATICHE, FISICHE E NATURALI
Course of study
INFORMATICA
Supervisors
relatore Cataudella, Stefano
relatore Barbuti, Roberto
relatore Barbuti, Roberto
Keywords
- calcolo a oggetti
- flusso di informazione sicuro
- interpretazione astratta
- non-interferenza
Graduation session start date
14/10/2005
Availability
Full
Summary
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.
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 |
|