NON-INTERFERENZA IN UN CALCOLO A OGGETTI PARALLELO

[Total: 0    Average: 0/5]

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.