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 |