This report defines a "difficult" Ada subset, illustrating all relevant dynamic aspects of Ada, deterministic, as well as non-deterministic, sequential, as well as concurrent, time-independent, as well as time-dependent. This subset will serve as a basis for a trial formal definition, the first step towards the full Ada formal definition.
Dynamic semantics example ADA subset
Fantechi A;Mazzanti F
1985
Abstract
This report defines a "difficult" Ada subset, illustrating all relevant dynamic aspects of Ada, deterministic, as well as non-deterministic, sequential, as well as concurrent, time-independent, as well as time-dependent. This subset will serve as a basis for a trial formal definition, the first step towards the full Ada formal definition.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420145-doc_148783.pdf
solo utenti autorizzati
Descrizione: Dynamic semantics example ADA subset
Tipologia:
Altro materiale allegato
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
4.14 MB
Formato
Adobe PDF
|
4.14 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
