Efficient implementation of general negation using abstract interpretation

Muñoz Hernandez, Susana; Moreno Navarro, Juan José y Hermenegildo, Manuel V. (2000). Efficient implementation of general negation using abstract interpretation. En: "AGP'2000 Joint Conference on Declarative Programming", 4-7 December, 2000, La Habana, Cuba.

Descripción

Título: Efficient implementation of general negation using abstract interpretation
Autor/es:
  • 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: AGP'2000 Joint Conference on Declarative Programming
Fechas del Evento: 4-7 December, 2000
Lugar del Evento: La Habana, Cuba
Título del Libro: Procredings. of the AGP'2000 Joint Conference on Declarative Programming
Fecha: Diciembre 2000
Materias:
Palabras Clave Informales: Negation in Logic Programming, Constraint Logic Programming, Program analysis, Implementations of logic Programming, Abstract interpretation, Negación en programación lógica, Programación lógica restringida, Análisis de programas, Implementaciones de programación lógica, Interpretació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

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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) 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, after proposing some extensions to the method, we 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 (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

Más información

ID de Registro: 14619
Identificador DC: http://oa.upm.es/14619/
Identificador OAI: oai:oa.upm.es:14619
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 12 Mar 2013 08:25
Ultima Modificación: 21 Abr 2016 14:22
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM