Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (691kB) | Preview |
Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1994).
Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system.
In: "Second International Workshop, PPCP '94", May 2 - 4, 1994, Rosario, Orcas Island, WA, USA,. ISBN 9783540586012.
Title: | Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | Second International Workshop, PPCP '94 |
Event Dates: | May 2 - 4, 1994 |
Event Location: | Rosario, Orcas Island, WA, USA, |
Title of Book: | Principles and Practice of Constraint Programming |
Date: | May 1994 |
ISBN: | 9783540586012 |
Volume: | 874 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (691kB) | Preview |
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.
Item ID: | 14454 |
---|---|
DC Identifier: | https://oa.upm.es/14454/ |
OAI Identifier: | oai:oa.upm.es:14454 |
Official URL: | http://link.springer.com/chapter/10.1007%2F3-540-5... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 12 Feb 2013 07:46 |
Last Modified: | 27 Feb 2023 12:10 |