Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A Tabling Implementation Based on Variables with Multiple Bindings
Year:2009
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
25th International Conference on Logic Programming
960
Place
PASADENA, CALIFORNIA, USA
Reviewers
Si
ISBN/ISSN
978-3-642-02845-8
0.1007/978-3-642-02846-5_1
Start Date
14/07/2009
End Date
17/07/2009
From page
1
To page
21
A Tabling Implementation Based on Variables with Multiple Bindings
Participants
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)