Towards description and optimization of abstract machines in an extension of prolog

Morales Caballero, José Francisco; Carro Liñares, Manuel y Hermenegildo, Manuel V. (2007). Towards description and optimization of abstract machines in an extension of prolog. En: "16th International Symposium, LOPSTR 2006", July 12-14, 2006, Venice, Italy. ISBN 978-3-540-71409-5.

Descripción

Título: Towards description and optimization of abstract machines in an extension of prolog
Autor/es:
  • Morales Caballero, José Francisco
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 16th International Symposium, LOPSTR 2006
Fechas del Evento: July 12-14, 2006
Lugar del Evento: Venice, Italy
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 2007
ISBN: 978-3-540-71409-5
Volumen: 4407
Materias:
Palabras Clave Informales: Prolog, Abstract machines, Compilation, Optimization, Program Transformation, Recopilación, Optimización.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Informática Aplicada [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (982kB) | Vista Previa

Resumen

Competitive abstract machines for Prolog are usually large, intricate, and incorpórate sophisticated optimizations. This makes them difñcult to code, optimize, and, especially, maintain and extend. This is partly due to the fact that efñciency considerations make it necessary to use low-level languages in their implementation. Writing the abstract machine (and ancillary code) in a higher-level language can help harness this inherent complexity. In this paper we show how the semantics of basic components of an efficient virtual machine for Prolog can be described using (a variant of) Prolog which retains much of its semantics. These descriptions are then compiled to C and assembled to build a complete bytecode emulator. Thanks to the high level of the language used and its closeness to Prolog the abstract machine descriptions can be manipulated using standard Prolog compilation and optimization techniques with relative ease. We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of highly-tuned, hand-crafted emulators.

Más información

ID de Registro: 14323
Identificador DC: http://oa.upm.es/14323/
Identificador OAI: oai:oa.upm.es:14323
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-71410-1_7?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 21 Ene 2013 14:23
Ultima Modificación: 21 Abr 2016 13:56
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM