A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-540-89982-2_29 (literal)

Alternative label

• Senni, V.; Pettorossi, A.; Proietti, M. (2009)
  A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
  in Fundamenta informaticae
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Senni, V.; Pettorossi, A.; Proietti, M. (literal)

Pagina inizio

• 373 (literal)

Pagina fine

• 393 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://iospress.metapress.com/content/w8321h1111314738/fulltext.pdf (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 96(3) (literal)

Rivista

• Fundamenta informaticae (Rivista)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Univ. Tor Vergata CNR - IASI (literal)

Titolo

• A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (literal)

Abstract

• The existential variables of a clause in a constraint logic program are the variables which occur in the body of the clause and not in its head. The elimination of these variables is a transformation technique which is often used for improving program efficiency and verifying program properties. We consider a folding transformation rule which ensures the elimination of existential variables and we propose an algorithm for applying this rule in the case where the constraints are linear inequations over rational or real numbers. The algorithm combines techniques for matching terms modulo equational theories and techniques for solving systems of linear inequations. Through some examples we show that an implementation of our folding algorithm has a good performance in practice. (literal)

Prodotto di

• Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001) (Modulo)
• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)

Autore CNR

• MAURIZIO PROIETTI (Persona)
• Valerio Senni (Persona)

Incoming links:

Autore CNR di

• MAURIZIO PROIETTI (Persona)
• Valerio Senni (Persona)

Prodotto

• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)
• Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Fundamenta informaticae (Rivista)