PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Inverardi P., Montanari U. On the feasibility of the execution of the ADA formal definition. The Draft Formal Definition of ADA, Commission of the European Communities: multi-annual programme. Internal note IEI-B4-03, 1987.
 
 
Abstract
(English)
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.
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