Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Tabling Implementation Based on Variables with Multiple Bindings
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Las implementaciones de tabulacion basadas en suspension realizan un trabajo especulativo cuando restauran los bindings realizados por una ejecucion que ha sido suspendidad previamente. Dicho trabajo es especulativo porque dichos bindings pueden ser no utilizados en la ejecucion posterior. En este articulo se propone una nueva solucion donde cada variable puede tener asociados varios bindings, accediendo al valor deseado en tiempo de ejecucion y evitando de esta forma restaurar bindings para reactivar ejecuciones previamente suspendidas. Se muestra un analisis de rendimiento que ilustra las posibilidades que ofrece esta nueva tecnica.
Internacional
Si
Nombre congreso
25th International Conference on Logic Programming
Tipo de participación
960
Lugar del congreso
PASADENA, CALIFORNIA, USA
Revisores
Si
ISBN o ISSN
978-3-642-02845-8
DOI
0.1007/978-3-642-02846-5_1
Fecha inicio congreso
14/07/2009
Fecha fin congreso
17/07/2009
Desde la página
1
Hasta la página
21
Título de las actas
A Tabling Implementation Based on Variables with Multiple Bindings
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Manuel Carro Liñares (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)