Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (951kB) | Preview |
Independent AND-parallel implementation of narrowing
Citation
Kuchen, Herbert, Moreno Navarro, Juan José and Hermenegildo, Manuel V. (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 |
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 |
