PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Leggio F., Talini P. On the effectiveness of executing the formal definition of Ada. Internal note IEI-B4-31, 1989.
 
 
Abstract
(English)
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.
Subject ADA language


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