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.
Modeling implementation dependent aspect
Fantechi A;Mazzanti F
1986
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419975-doc_148651.pdf
accesso aperto
Descrizione: Modeling implementation dependent aspect
Tipologia:
Altro materiale allegato
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
730.42 kB
Formato
Adobe PDF
|
730.42 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
