This work proposes an execution environment for the formal definition of Ada, as produced by the project "The Draft Formal Definition of ANSI/MIL-STD-1815A Ada". The environment is based on a logic programming approach, that is the translation 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. 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.
An execution environment for the formal definition of Ada
Fantechi A;Gnesi S;
1987
Abstract
This work proposes an execution environment for the formal definition of Ada, as produced by the project "The Draft Formal Definition of ANSI/MIL-STD-1815A Ada". The environment is based on a logic programming approach, that is the translation 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. 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419675-doc_148410.pdf
solo utenti autorizzati
Descrizione: An execution environment for the formal definition of ADA
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.58 MB
Formato
Adobe PDF
|
1.58 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
