A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation

Hermenegildo, Manuel V. y Carro Liñares, Manuel (2008). A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. "Lecture Notes in Computer Science", v. 5366 ; pp. 795-800. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-89982-2_79.

Descripción

Título: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
Autor/es:
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Tipo de Documento: Artículo
Título de Revista/Publicación: Lecture Notes in Computer Science
Fecha: Diciembre 2008
Volumen: 5366
Materias:
Palabras Clave Informales: Tabled logic programming, continuation-call tabling, implementation, performance, program transformation.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
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 (179kB) | Vista Previa

Resumen

Tabled evaluation has proved to be an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. “Native” implementations of tabled evaluation offer good performance, but also require significant implementation effort, affecting compiler and abstract machine. Alternatively, program transformation-based implementations, such as the original continuation call (CCall) technique, offer lower implementation burden at some efficiency cost. A limitation of the original CCall proposal is that it limits the interleaving of tabled and non-tabled predicates and thus cannot be used for arbitrary programs. In this work we present an extension of the CCall technique that allows the execution of arbitrary tabled programs, as well as some performance results. Our approach offers a useful tradeoff that can be competitive with state-of-the-art implementations, while keeping implementation effort relatively low.

Más información

ID de Registro: 2900
Identificador DC: http://oa.upm.es/2900/
Identificador OAI: oai:oa.upm.es:2900
Identificador DOI: 10.1007/978-3-540-89982-2_79
URL Oficial: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
Depositado por: Memoria Investigacion
Depositado el: 26 Abr 2010 11:25
Ultima Modificación: 20 Abr 2016 12:31
  • 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