The results of 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 performance, measurements for prototype execution environment which has been developed using the same approach for a simple concurrent language are given, and their usefulness in predictin the performance of the environment for the formal definition of Ada is discussed.
On the effectiveness of executing the formal definition of Ada
Fantechi A;Gnesi S;
1989
Abstract
The results of 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 performance, measurements for prototype execution environment which has been developed using the same approach for a simple concurrent language are given, and their usefulness in predictin the performance of the environment for the formal definition of Ada is discussed.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_418162-doc_147578.pdf
accesso aperto
Descrizione: On the effectiveness of executing the formal definition of Ada
Dimensione
2.54 MB
Formato
Adobe PDF
|
2.54 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
