The Replacement Operation for CCP Programs

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi

    Research output: Contribution to conferencePaperAcademic

    67 Downloads (Pure)

    Abstract

    The Replacement is a very powerful transformation operation which - both within the functional paradigm as well as within the logic programming one - can micic the most common transformation operations such as unfold, fold, switching, distribution. Because of this flexibility , it can be incorrect if used without specific applicability conditions. In this paper we show that, under these conditions, the replacement generalizes both the unfolding operation as well as a restricted form of folding operation.
    Original languageUndefined
    Pages441-454
    Publication statusPublished - 1999
    EventJoint Conference on Declarative Programming, AGP - L'Aquila, Italy
    Duration: 6 Sep 19999 Sep 1999

    Conference

    ConferenceJoint Conference on Declarative Programming, AGP
    Period6/09/999/09/99
    OtherSeptember 6-9, 1999

    Keywords

    • IR-56187

    Cite this