Efficient negation using abstract interpretation

Muñoz Hernandez, Susana; Moreno Navarro, Juan José y Hermenegildo, Manuel V. (2001). Efficient negation using abstract interpretation. En: "8th International Conference, LPAR 2001", December 3-7, 2001, Havana, Cuba. ISBN 9783540429579.


Título: Efficient negation using abstract interpretation
  • Muñoz Hernandez, Susana
  • Moreno Navarro, Juan José
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 8th International Conference, LPAR 2001
Fechas del Evento: December 3-7, 2001
Lugar del Evento: Havana, Cuba
Título del Libro: Logic for Programming, Artificial Intelligence, and Reasoning
Fecha: 2001
ISBN: 9783540429579
Volumen: 2250
Palabras Clave Informales: Negation, Constraint logic programming, Program analysis, Logic programming implementation, Abstract interpretation, Restricciones de la programación lógica, Análisis de programas, implementación de programación lógica, Iterpretación de resúmenes.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (566kB) | Vista Previa


While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application.

Más información

ID de Registro: 14377
Identificador DC: http://oa.upm.es/14377/
Identificador OAI: oai:oa.upm.es:14377
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-45653-8_33?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Feb 2013 08:06
Ultima Modificación: 21 Abr 2016 14:01
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM