A comparative study of methods for automatic compile-time parallelization of logic programs

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. (1994). A comparative study of methods for automatic compile-time parallelization of logic programs. In: "First International Symposium Parallel Symbolic Computation", September 26 -- 28, 1994, Linz - Austria.

Description

Title: A comparative study of methods for automatic compile-time parallelization of logic programs
Author/s:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: First International Symposium Parallel Symbolic Computation
Event Dates: September 26 -- 28, 1994
Event Location: Linz - Austria
Title of Book: Parallel Symbolic Computation
Date: 1994
Subjects:
Freetext Keywords: Automatic parallelization, Logic programming, Paralelización automática, Programación lógica.
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 (904kB) | Preview

Abstract

This paper presents a study of the effectiveness of three different algorithms for the parallelization of logic programs based on compile-time detection of independence among goals. The algorithms are embedded in a complete parallelizing compiler, which incorporates different abstract interpretation-based program analyses. The complete system shows the task of automatic program parallelization to be practical. The trade-offs involved in using each of the algorithms in this task are studied experimentally, weaknesses of these identified, and possible improvements discussed.

More information

Item ID: 14431
DC Identifier: http://oa.upm.es/14431/
OAI Identifier: oai:oa.upm.es:14431
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 08 Feb 2013 09:52
Last Modified: 21 Apr 2016 14:05
  • 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