Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview |
Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Cabeza Gras, Daniel, García de la Banda, M. and Hermenegildo, Manuel V.
ORCID: https://orcid.org/0000-0002-7583-323X
(1993).
The AND-Prolog compiler system — Automatic parallelization tools for LP.
Monografía (Technical Report).
Facultad de Informática (UPM), Madrid, Spain.
Title: | The AND-Prolog compiler system — Automatic parallelization tools for LP |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview |
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.
Item ID: | 15227 |
---|---|
DC Identifier: | https://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: | 27 Feb 2023 09:45 |