1997
Report
Unknown
Guide to erroneous executions in Ada 95
Mazzanti F.
Ada Programming Languages
We present a detailed analysis of the possible ways in which the execution of an Ada 95 program might become totally unpredictable. In particular, we discuss those language aspects which allow a program execution to become erroneous or which have an undefined semantics. The Ada 95 language definition is assessed with respect to its completeness and clarity in presenting these aspects. The evolution of these aspects from Ada 83 to Ada 95 is summarised
Source: ISTI Technical reports, 1997
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:408621,
title = {Guide to erroneous executions in Ada 95},
author = {Mazzanti F.},
institution = {ISTI Technical reports, 1997},
year = {1997}
}
0000-0003-4562-8777CNR ExploRA