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. In: "1994 ICOT/NSF Workshop on Parallel and Concurrent Programming", March 1994, Eugene, Oregon.

Description

Title: Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint system
Author/s:
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming
Event Dates: March 1994
Event Location: Eugene, Oregon
Title of Book: Proceedings of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming
Date: 1994
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (693kB) | Preview

Abstract

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.

More information

Item ID: 14673
DC Identifier: http://oa.upm.es/14673/
OAI Identifier: oai:oa.upm.es:14673
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 Mar 2013 07:52
Last Modified: 21 Apr 2016 14:26
  • 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