1996
Other
Open Access
Towards the static detection of erroneus executions in Ada 95
Marzullo C, Mazzanti F
Ada 95
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.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408970,
title = {Towards the static detection of erroneus executions in Ada 95},
author = {Marzullo C and Mazzanti F},
year = {1996}
}
0000-0003-4562-8777