Independent AND-parallel implementation of narrowing

Kuchen, Herbert; Moreno Navarro, Juan José y Hermenegildo, Manuel V. (1992). Independent AND-parallel implementation of narrowing. En: "Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92", August 26-28, 1992, Leuven, Belgium. ISBN 3540558446.

Descripción

Título: Independent AND-parallel implementation of narrowing
Autor/es:
  • Kuchen, Herbert
  • Moreno Navarro, Juan José
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92
Fechas del Evento: August 26-28, 1992
Lugar del Evento: Leuven, Belgium
Título del Libro: Programming Language Implementation and Logic Programming
Fecha: Agosto 1992
ISBN: 3540558446
Volumen: 631
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (951kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14473
Identificador DC: http://oa.upm.es/14473/
Identificador OAI: oai:oa.upm.es:14473
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 13 Feb 2013 07:32
Ultima Modificación: 21 Abr 2016 14:10
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM