Transformations of CCP programs

S. Etalle, M. Gabbrielli, M.C. Meo

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    15 Citaten (Scopus)

    Samenvatting

    We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations that guarantee the input/output CCP semantics is also preserved when distinguishing deadlocked computations from successful ones and when considering intermediate results of (possibly) nonterminating computations.The system allows us to optimize CCP programs while preserving their intended meaning: In addition to the usual benefits 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 nondeterministic 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 with respect to a class of queries. To this aim, it is sometimes 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.
    Originele taal-2Engels
    Pagina's (van-tot)304-395
    TijdschriftACM Transactions on Programming Languages and Systems
    Volume23
    Nummer van het tijdschrift3
    DOI's
    StatusGepubliceerd - 2001

    Vingerafdruk Duik in de onderzoeksthema's van 'Transformations of CCP programs'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit