Independent AND-parallel implementation of narrowing

Kuchen, Herbert, Moreno Navarro, Juan José ORCID: https://orcid.org/0000-0001-8842-8359 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (1992). Independent AND-parallel implementation of narrowing. In: "Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92", August 26-28, 1992, Leuven, Belgium. ISBN 3540558446.

Description

Title: Independent AND-parallel implementation of narrowing
Author/s:
Item Type: Presentation at Congress or Conference (Article)
Event Title: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92
Event Dates: August 26-28, 1992
Event Location: Leuven, Belgium
Title of Book: Programming Language Implementation and Logic Programming
Date: August 1992
ISBN: 3540558446
Volume: 631
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_1992-1.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (951kB) | Preview

Abstract

We present a parallel graph narrowing machine, which is used to implement a functional logic language on a shared memory multiprocessor. It is an extensión of an abstract machine for a purely functional language. The result is a programmed graph reduction machine which integrates the mechanisms of unification, backtracking, and independent and-parallelism. In the machine, the subexpressions of an expression can run in parallel. In the case of backtracking, the structure of an expression is used to avoid the reevaluation of subexpressions as far as possible. Deterministic computations are detected. Their results are maintained and need not be reevaluated after backtracking.

More information

Item ID: 14473
DC Identifier: https://oa.upm.es/14473/
OAI Identifier: oai:oa.upm.es:14473
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Feb 2013 07:32
Last Modified: 27 Feb 2023 12: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