Istituto di Scienza e Tecnologie dell'Informazione     
Nielsen C. B., Fantechi A., Mazzanti F., Storbank Pedersen J. The extent of the trial dynamic semantics definition. ECC Multi-Annual Programme. The Draft Formal Definition of ANSI-MIL-STD 1815A ADA, May 1986. Internal note IEI-B4-30, 1986.
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.

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