PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Inverardi P., Montanari U. Architecture of the execution environment for the ADA formal definition. Internal note IEI-B4-69, 1986.
 
 
Abstract
(English)
This work proposes an architecture of the execution environment for the formal definition of Ada, as produced by the project "The Draft Formal Definition of ANSI/MIL-STD-1815A Ada". The architecture is based on a logic programming approach, that is the transiation of the formal definition itself in an executable logic program. The aim of this construction is to evaluate the feasibility and the effectiveness of an interpreter based on the formal definition as a tool for helping its comprehension and for testing Ada programs against the formal definition of the language. The use of novel techniques like metaprogramming and partial evaluation in order to improve the modularity and the efficiency of the system is also explored.
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