The Replacement Operation for CCP Programs

Marco Bertolino, Annalisa Bossi (Editor), Sandro Etalle, Catuscia Palamidessi

    Research output: Contribution to conferencePaperAcademicpeer-review

    4 Citations (Scopus)
    51 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
    Pages216-233
    Number of pages18
    Publication statusPublished - 2000
    Event9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR) - Venezia, Italy
    Duration: 1 Jan 20001 Jan 2000

    Workshop

    Workshop9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR)
    Period1/01/001/01/00

    Keywords

    • EWI-980
    • IR-56159

    Cite this