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)

    Abstract

    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
    Pages265-279
    Number of pages15
    DOIs
    Publication statusPublished - 1992

    Keywords

    • EWI-1200
    • IR-56285

    Cite this