Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista)

Type

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

Label

• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista) (literal)

Anno

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

Alternative label

• Pettorossi, A.; Proietti, M.; Senni, V. (2006)
  Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
  in Lecture notes in computer science
  (literal)

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

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

Pagina inizio

• 179 (literal)

Pagina fine

• 195 (literal)

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

• 4079 (literal)

Rivista

• Lecture notes in computer science (Rivista)

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

• Proceedings of the 22nd International Conference on Logic Programming (ICLP '06) Editore: Springer-Verlag a cura di Etalle, S.; Truszczynski, M. (literal)

Note

• SCImago (literal)

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

• Pettorossi, A. DISP, Università Tor Vergata, Roma; IASI-CNR (literal)

Titolo

• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (literal)

Abstract

• We propose a method for proving first order properties of constraint logic programs which manipulate finite lists of real numbers. Constraints are linear equations and inequations over reals. Our method consists in converting any given first order formula into a stratified constraint logic program and then applying a suitable unfold/fold transformation strategy that preserves the perfect model. Our strategy is based on the elimination of existential variables, that is, variables which occur in the body of a clause and not in its head. Since, in general, the first order properties of the class of programs we consider are undecidable, our strategy is necessarily incomplete. However, experiments show that it is powerful enough to prove several non-trivial program properties. (literal)

Prodotto di

• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)

Autore CNR

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

Incoming links:

Autore CNR di

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

Prodotto

• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)

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

• Lecture notes in computer science (Rivista)