PUMA
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.
 
 
Abstract
(English)
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