The AND-Prolog compiler system — Automatic parallelization tools for LP

Bueno Carrillo, Francisco; Cabeza Gras, Daniel; García de la Banda, M. y Hermenegildo, Manuel V. (1993). The AND-Prolog compiler system — Automatic parallelization tools for LP. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: The AND-Prolog compiler system — Automatic parallelization tools for LP
Autor/es:
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Junio 1993
Materias:
Palabras Clave Informales: Compilation techniques, Abstract interpretation, Program transformation, Parallelism, Técnicas de compilación, Interpretación de resúmenes, Transformación de programas, Paralelismo.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
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 (2MB) | Vista Previa

Resumen

This report presents an overview of the current work performed by us in the context of the efficient parallel implementation of traditional logic programming systems. The work is based on the &-Prolog System, a system for the automatic parallelization and execution of logic programming languages within the Independent And-parallelism model, and the global analysis and parallelization tools which have been developed for this system. In order to make the report self-contained, we first describe the "classical" tools of the &-Prolog system. We then explain in detail the work performed in improving and generalizing the global analysis and parallelization tools. Also, we describe the objectives which will drive our future work in this area.

Más información

ID de Registro: 15227
Identificador DC: http://oa.upm.es/15227/
Identificador OAI: oai:oa.upm.es:15227
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html~
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 10 May 2013 06:17
Ultima Modificación: 21 Abr 2016 15:15
  • 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