Istituto di Scienza e Tecnologie dell'Informazione     
Nielsen C. B., Fantechi A., Mazzanti F. Modeling implementation dependent aspect. ECC Multi-Annual Programme. The Draft Formal Definition of ANSI-MIL-STD 1815A ADA, May 1986. Internal note IEI-B4-29, 1986.
The abstract semantics of an Ada program has to dea1 with several aspects of the language which are explicitly specified to be dependent on or defined by the implementetion. The following is to be considered as a general rationale for the modeling of Ada implementation dependent aspects, which takes in account the full Ada definition. The same considerations apply, modulo the subset restrictions, to the trial definition phase.

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