Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Renso C. The contraint operator in the medlan language. In: Proceedings of Ercim Working Group on Constraints Workshop (Linz, Austria, 27-28 October 1997). Proceedings, pp. 1 - 8. ERCIM, 1997.
A declarative mediator language. based upon operations among logic theories is presented. In particular in this paper we concentrate on the contraint operator. The denotational semantics of the language is introduced while we concentrate on the definition of a bottom-up efficient implementation that is proved correct with respect to the given semantics.
Subject Medlan 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