PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Marzullo C., Mazzanti F. Towards the static detection of erroneus executions in Ada 95. Internal note IEI-B4-20, 1996.
 
 
Abstract
(English)
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.
Subject Ada 95


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional