CNR Institutional Research Information System

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.

The contraint operator in the medlan language

Asirelli P;Renso C
1997

Abstract

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.
1997
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Proceedings of Ercim Working Group on Constraints Workshop
1
8
27-28/10/1997
Linz, Austria
Medlan language
Pubblicato da ERCIM - Codice PuMa: cnr.iei/1997-A2-052
2
restricted
Asirelli, P; Renso, C
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_409113-doc_143738.pdf

solo utenti autorizzati

Descrizione: The contraint operator in the medlan language
Tipologia: Versione Editoriale (PDF)
Dimensione 737.19 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
737.19 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/366284
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact