A transformation system for CLP with dynamic scheduling and CCP


Etalle, Sandro and Gabbrielli, Maurizio and Marchiori, Elena (1997) A transformation system for CLP with dynamic scheduling and CCP. In: ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 1997, June 12-13, 1997, Amsterdam, the Netherlands.

Abstract:In this paper we study unfold/fold transormations for constraint logic programs (CLP) with dynamic scheduling and for concurrent constraint programming (CCP). We define suitable applicability conditions for these transformations which guarantee that the original and the transformed program have the same results of successful derivations and the same deadlock free queries. The possible applications of these results are twofold. On one hand we can use the unfold/fold system to optimize CLP and CCP programs while preserving their intended meaning and in particular without the risk of introducing deadlocks. On the other hand, unfold/fold transformations can be used for proving deadlock freeness of a class of queries in a given program: to this aim it is sufficient to apply our transformations and to specialize the resulting program with respect to the given queries in such a way that the obtained program is trivially deadlock free. As shown by several interesting examples, this yields a methodology for proving deadlock freeness which is simple and powerful at the same time.
Item Type:Conference or Workshop Item
Copyright:©1997 ACM Press
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56228
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page