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

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