Observatorio de I+D+i UPM

Descripción
En este articulo se analiza una tecnica de implementacion de tabulacion basada en transformacion de programas. El objetivo de dicha tecnica es mejorar la portabilidad, mantenibilidad y dificultad de desarrollo de las implementaciones de tabulacion actuales, pero dicha tecnica resulta insuficiente para la ejecucion de programas tabulados generales. Una vez analizado dicho problema, se propone una solucion y se muestra un analisis de rendimiento que ilustra las posibilidades que abre dicha tecnica para implantar tabulacion en cualquier sistema Prolog.
Internacional	Si
Nombre congreso	Practical Aspects of Declarative Languages 2009
Tipo de participación	960
Lugar del congreso	Savannah, Georgia, USA
Revisores	Si
ISBN o ISSN	978-3-540-92994-9
DOI	10.1007/978-3-540-92995-6
Fecha inicio congreso	21/01/2009
Fecha fin congreso	23/01/2009
Desde la página	224
Hasta la página	238
Título de las actas	Towards a Complete Scheme for Tabled Execution Based on Program Transformation

Esta actividad pertenece a memorias de investigación

• Autor: Manuel de Hermenegildo Salinas (UPM)
• Autor: Manuel Carro Liñares (UPM)

• 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