Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
Year:2009
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
Practical Aspects of Declarative Languages 2009
960
Place
Savannah, Georgia, USA
Reviewers
Si
ISBN/ISSN
978-3-540-92994-9
10.1007/978-3-540-92995-6
Start Date
21/01/2009
End Date
23/01/2009
From page
224
To page
238
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
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)