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
@misc{oai:it.cnr:prodotti:408621, title = {Guide to erroneous executions in Ada 95}, author = {Mazzanti F}, year = {1997} }