Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Inverardi P. A logic database to support configuration management in ADA. In: Ada-Europe '87 - The ADA-EUROPE international Conference (in "ADA components: libraries and tools") (Stockholm, Sweden, 26 - 28 May 1987). Proceedings, pp. 20 - 31. Sven Tafvelin (ed.). Cambridge University Press, 1987.
We propose a logic framework which permits both, to formalize such configurational activity (thus extending the benefits of a formal definition to the language supporting environment) and to introduce, in the programming environment, a very flexible tool to reason about modules properties and configuration strategies. We have to cope with an evolving world where the effects of activities, such as compilation and linking, are the creation and modification of relations among objects. This brings us to consider a database approach and, in particular, a Logic Database (LDB) one, to handle creation of new relations and objects.
Subject ADA language
Logic databases

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