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

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and García de la Banda, M. and Hermenegildo, Manuel V. (1993). The AND-Prolog compiler system — Automatic parallelization tools for LP. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: The AND-Prolog compiler system — Automatic parallelization tools for LP
Author/s:
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: June 1993
Subjects:
Freetext Keywords: Compilation techniques, Abstract interpretation, Program transformation, Parallelism, Técnicas de compilación, Interpretación de resúmenes, Transformación de programas, Paralelismo.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Abstract

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.

More information

Item ID: 15227
DC Identifier: http://oa.upm.es/15227/
OAI Identifier: oai:oa.upm.es:15227
Official URL: ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html~
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 10 May 2013 06:17
Last Modified: 21 Apr 2016 15:15
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM