ETD

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

Tesi etd-09202005-164253


Tipo di tesi
Tesi di laurea specialistica
Autore
Tiberi, Paolo
Indirizzo email
tiberipa@libero.it
URN
etd-09202005-164253
Titolo
Non-interferenza in un calcolo a oggetti parallelo
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
relatore Cataudella, Stefano
relatore Barbuti, Roberto
Parole chiave
  • calcolo a oggetti
  • non-interferenza
  • flusso di informazione sicuro
  • interpretazione astratta
Data inizio appello
14/10/2005
Consultabilità
Completa
Riassunto
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