Transforming Normal Programs by Replacement

Annalisa Bossi, A. Pettorossi (Editor), Nicoletta Cocco, Sandro Etalle

    Research output: Contribution to conferencePaper

    14 Citations (Scopus)
    47 Downloads (Pure)


    The replacement transformation operation, already defined in [28], is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt Fitting's and Kunen's semantics. We show how replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too. Furthermore we characterize a transformation sequence for which the preservation of Fitting's and Kunen's semantics is ensured.
    Original languageUndefined
    Number of pages15
    Publication statusPublished - 1992


    • EWI-1200
    • IR-56285

    Cite this