The results of a study on the effectiveness of an execution environment for the formal definition of Ada are presented. The environment is based on a logic programming approach, that is the translation of the formal definition into an executable logic program. Some experimental performance measurements for a prototype execution environment which has been developed using the same approach for a simple concurrent language are given, and their usefulness in predicting the performance of the environment for the formal definition of Ada is discussed. © 1991, ACM. All rights reserved.
Executing the Formal Definition of Ada
Fantechi A;Gnesi S;
1991
Abstract
The results of a study on the effectiveness of an execution environment for the formal definition of Ada are presented. The environment is based on a logic programming approach, that is the translation of the formal definition into an executable logic program. Some experimental performance measurements for a prototype execution environment which has been developed using the same approach for a simple concurrent language are given, and their usefulness in predicting the performance of the environment for the formal definition of Ada is discussed. © 1991, ACM. All rights reserved.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_447023-doc_160983.pdf
solo utenti autorizzati
Descrizione: Executing the Formal Definition of Ada
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.2 MB
Formato
Adobe PDF
|
2.2 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
