Analysis of concurrent constraint logic programs with a fixed scheduling rule

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1995). Analysis of concurrent constraint logic programs with a fixed scheduling rule. In: "ICLP95 WS on Abstract Interpretation of Logic Languages", June, 1995, Japan.

Description

Title: Analysis of concurrent constraint logic programs with a fixed scheduling rule
Author/s:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ICLP95 WS on Abstract Interpretation of Logic Languages
Event Dates: June, 1995
Event Location: Japan
Title of Book: ICLP95 WS on Abstract Interpretation of Logic Languages
Date: 1995
Subjects:
Freetext Keywords: Concurrent constraint programming, Program analysis, Abstract interpretation, Andorra model, Programación restringida concurrente, Análisis de programas, Interpretación de resúmenes, Modelo de Andorra.
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 (577kB) | Preview

Abstract

The analysis of concurrent constraint programs is a challenge due to the inherently concurrent behaviour of its computational model. However, most implementations of the concurrent paradigm can be viewed as a computation with a fixed scheduling rule which suspends some goals so that their execution is postponed until some condition awakens them. For a certain kind of properties, an analysis defined in these terms is correct. Furthermore, it is much more tractable, and in addition can make use of existing analysis technology for the underlying fixed computation rule. We show how this can be done when the starting point is a framework for the analysis of sequential programs. The resulting analysis, which incorporates suspensions, is adequate for concurrent models where concurrency is localized, e.g. the Andorra model. We refine the analysis for this particular case. Another model in which concurrency is preferably encapsulated, and thus suspensions are local to parts of the computation, is that of CIAO. Nonetheless, the analysis scheme can be generalized to models with global concurrency. We also sketch how this could be done, and we show how the resulting analysis framework could be used for analyzing typical properties, such as suspensión freeness.

More information

Item ID: 14685
DC Identifier: http://oa.upm.es/14685/
OAI Identifier: oai:oa.upm.es:14685
Official URL: http://clip.dia.fi.upm.es/clippubsbyyear/node20.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 26 Mar 2013 09:41
Last Modified: 21 Apr 2016 14:27
  • 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