Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system

Hermenegildo, Manuel V. (1994). Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system. En: "Second International Workshop, PPCP '94", May 2 - 4, 1994, Rosario, Orcas Island, WA, USA,. ISBN 9783540586012.

Descripción

Título: Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system
Autor/es:
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Second International Workshop, PPCP '94
Fechas del Evento: May 2 - 4, 1994
Lugar del Evento: Rosario, Orcas Island, WA, USA,
Título del Libro: Principles and Practice of Constraint Programming
Fecha: Mayo 1994
ISBN: 9783540586012
Volumen: 874
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 (691kB) | Vista Previa

Resumen

We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic programming systems, and their generalization to constraint programming. We propose a new view of these systems, based on a particular definition of parallelism. We argüe that, under this view, a large number of the actual systems and models can be explained through the application, at different levéis of granularity, of only a few basic principies: determinism, non-failure, independence (also referred to as stability), granularity, etc. Also, and based on the convergence of concepts that this view brings, we sketch a model for the implementation of several parallel constraint logic programming source languages and models based on a common, generic abstract machine and an intermedíate kernel language.

Más información

ID de Registro: 14454
Identificador DC: http://oa.upm.es/14454/
Identificador OAI: oai:oa.upm.es:14454
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-58601-6_95
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 12 Feb 2013 07:46
Ultima Modificación: 21 Abr 2016 14:08
  • 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