In the Formal Definition of the Ada language, we are interested in giving the semantics of a syntactic object which is built following an Ada grammar (Ie. it is syntadically correct) which does not contain any error that an implementation conforming to the standard is required to detect (i.e. it is legal); we will call this syntactic object an Ada user-program.
The extent of the trial dynamic semantics definition
Fantechi A;
1986
Abstract
In the Formal Definition of the Ada language, we are interested in giving the semantics of a syntactic object which is built following an Ada grammar (Ie. it is syntadically correct) which does not contain any error that an implementation conforming to the standard is required to detect (i.e. it is legal); we will call this syntactic object an Ada user-program.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_419973-doc_148650.pdf
accesso aperto
Descrizione: The extent of the trial dynamic semantics definition
Dimensione
427.48 kB
Formato
Adobe PDF
|
427.48 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.