Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
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
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)