Transforming Normal Programs by Replacement

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

    Research output: Contribution to conferencePaperpeer-review

    14 Citations (Scopus)
    53 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
    Event3rd International Workshop on Meta Programming in Logic, META 1992 - Uppsala, Sweden
    Duration: 10 Jun 199212 Jun 1992

    Workshop

    Workshop3rd International Workshop on Meta Programming in Logic, META 1992
    Period10/06/9212/06/92
    OtherJune 10-12, 1992

    Keywords

    • EWI-1200
    • IR-56285

    Cite this