PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Leggio F., Talini P. Executing the formal definition of Ada. In: Sigplan Notices, vol. 26 (3) pp. 25 - 33. ACM, 1991.
 
 
Abstract
(English)
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.
Subject


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