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.
1986
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
ADA language
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/375217
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact