This report presents the results of a study on the execution of the formal definition of Ada, i.e. on the possibility of transforming it into an executable form.

On the feasibility of the execution of the ADA formal definition

Fantechi A;Gnesi S;
1987

Abstract

This report presents the results of a study on the execution of the formal definition of Ada, i.e. on the possibility of transforming it into an executable form.
1987
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Feasibility
Execution
ADA formal definition
File in questo prodotto:
File Dimensione Formato  
prod_419590-doc_148354.pdf

accesso aperto

Descrizione: On the feasibility of the execution of the ADA formal definition
Dimensione 2.33 MB
Formato Adobe PDF
2.33 MB 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/361190
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact