Istituto di Scienza e Tecnologie dell'Informazione     
Nielsen C. B., Botta N., Fantechi A., Mazzanti F. Modeling input-output. ECC Multi-Annual Programme. The Draft Formal Definition of ANSI-MIL-STD 1815A ADA, May 1986. Internal note IEI-B4-28, 1986.
In the formal definition of the Ada language we are interested in giving the semantics to a sintactic object (called user-program) buit following an Ada grammar but for which some semantic restrictions hold (e.g. it should be legal for every implementation , etc.) [Dyn Sem Extent].
Subject ADA

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