Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa |
The AND-Prolog compiler system — Automatic parallelization tools for LP
Cita
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 (Informe Técnico).
Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.
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 (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: |
|
| Tipo de Documento: | Monográfico (Informe Técnico) |
| Fecha: | Junio 1993 |
| Materias: | |
| ODS: | |
| 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 |
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: | https://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: | 27 Feb 2023 09:45 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
