PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F. Guide to erroneous executions in Ada 95. 050593447, Technical report, 1997.
 
 
Abstract
(English)
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.
Subject Ada
D.3 Programming Languages


Icona documento 1) Download Document PS


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