Being absolutely certain that a program execution will not result in unpredictable behaviour is very difficult. Although there is no way to avoid the underlying theoretical difficulties, we believe that a human-centered approach in exploiting advanced static analysis techniques is a viable solution. This paper presents some preliminary results of a feasibility study on this subject, which is currently underway at the I.E.I.
Towards the static detection of erroneus executions in Ada 95
Mazzanti F;
1996
Abstract
Being absolutely certain that a program execution will not result in unpredictable behaviour is very difficult. Although there is no way to avoid the underlying theoretical difficulties, we believe that a human-centered approach in exploiting advanced static analysis techniques is a viable solution. This paper presents some preliminary results of a feasibility study on this subject, which is currently underway at the I.E.I.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_410327-doc_144404.pdf
solo utenti autorizzati
Descrizione: Towards the static detection of erroneus executions in Ada 95
Tipologia:
Versione Editoriale (PDF)
Dimensione
48.13 kB
Formato
Adobe PDF
|
48.13 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
