Transformations of CCP programs

Details Transformations of CCP programs Transformations of CCP programs

2001-07-10

arxiv.org/abs/cs/0107014v1

Computer Science

Programming Languages

To appear in ACM TOPLAS

Scientific paper

We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input/output CCP semantics is preserved also when distinguishing deadlocked computations from successful ones and when considering intermediate results of (possibly) non-terminating computations. The system allows us to optimize CCP programs while preserving their intended meaning: In addition to the usual benefits that one has for sequential declarative languages, the transformation of concurrent programs can also lead to the elimination of communication channels and of synchronization points, to the transformation of non-deterministic computations into deterministic ones, and to the crucial saving of computational space. Furthermore, since the transformation system preserves the deadlock behavior of programs, it can be used for proving deadlock freeness of a given program wrt a class of queries. To this aim it is sometimes sufficient to apply our transformations and to specialize the resulting program wrt the given queries in such a way that the obtained program is trivially deadlock free.

Affiliated with

Also associated with

No associations

Rating

Transformations of CCP programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Transformations of CCP programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Transformations of CCP programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-419393