From eventual to atomic and locally atomic CC programs: A concurrent semantics

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. and Montanari, Ugo and Rossi, Francesca (1994). From eventual to atomic and locally atomic CC programs: A concurrent semantics. In: "Algebraic and Logic Programming, 4th International Conference, ALP'94", September 14-16, 1994, Madrid, Spain. ISBN 3540584315.

Description

Title: From eventual to atomic and locally atomic CC programs: A concurrent semantics
Author/s:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
  • Montanari, Ugo
  • Rossi, Francesca
Item Type: Presentation at Congress or Conference (Article)
Event Title: Algebraic and Logic Programming, 4th International Conference, ALP'94
Event Dates: September 14-16, 1994
Event Location: Madrid, Spain
Title of Book: Concurrent Logic Programming as Uniform Linear Proofs
Date: September 1994
ISBN: 3540584315
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 (1MB) | Preview

Abstract

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

More information

Item ID: 14430
DC Identifier: http://oa.upm.es/14430/
OAI Identifier: oai:oa.upm.es:14430
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 08 Feb 2013 09:55
Last Modified: 21 Apr 2016 14:05
  • 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