This paper presents a new application of logic programming in the area of integrated programming environments for algorithmic languages. Integrated programming environments are based upon the existence of a project database which is the repository of all information relevant to programming project throughout the life cycle of the project. In particular, modules management (configuration), is a typical activity which requires relationships among objects to be handled. The paper addresses the advantages of using logic to express and manage configuration activities of languages which explicitely incorporate concepts related to software production. A logic database approach is proposed to support the configuration activity of the Ada programming language as an example of application of logic in the field of project data bases.
A logic approach to configuration in ADA
Asirelli P;
1985
Abstract
This paper presents a new application of logic programming in the area of integrated programming environments for algorithmic languages. Integrated programming environments are based upon the existence of a project database which is the repository of all information relevant to programming project throughout the life cycle of the project. In particular, modules management (configuration), is a typical activity which requires relationships among objects to be handled. The paper addresses the advantages of using logic to express and manage configuration activities of languages which explicitely incorporate concepts related to software production. A logic database approach is proposed to support the configuration activity of the Ada programming language as an example of application of logic in the field of project data bases.File | Dimensione | Formato | |
---|---|---|---|
prod_420253-doc_148873.pdf
accesso aperto
Descrizione: A logic approach to configuration in ADA
Dimensione
1.64 MB
Formato
Adobe PDF
|
1.64 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.