Transforming Normal Programs by Replacement

Annalisa Bossi; A. Pettorossi; Nicoletta Cocco; Sandro Etalle

doi:10.1007/3-540-56282-6_18

Transforming Normal Programs by Replacement

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

Research output: Contribution to conference › Paper › Academic › peer-review

15 Citations (Scopus)

98 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 language	Undefined
Pages	265-279
Number of pages	15
DOIs	https://doi.org/10.1007/3-540-56282-6_18
Publication status	Published - 1992
Event	3rd International Workshop on Meta Programming in Logic, META 1992 - Uppsala, Sweden Duration: 10 Jun 1992 → 12 Jun 1992

Workshop

Workshop	3rd International Workshop on Meta Programming in Logic, META 1992
Period	10/06/92 → 12/06/92
Other	June 10-12, 1992

Keywords

EWI-1200
IR-56285

Access to Document

10.1007/3-540-56282-6_18

bossi92transforming

Cite this

@conference{8272ce51a906458796272e5885539062,

title = "Transforming Normal Programs by Replacement",

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.",

keywords = "EWI-1200, IR-56285",

author = "Annalisa Bossi and A. Pettorossi and Nicoletta Cocco and Sandro Etalle",

note = "Imported from DIES; null ; Conference date: 10-06-1992 Through 12-06-1992",

year = "1992",

doi = "10.1007/3-540-56282-6_18",

language = "Undefined",

pages = "265--279",

}

TY - CONF

T1 - Transforming Normal Programs by Replacement

AU - Bossi, Annalisa

AU - Cocco, Nicoletta

AU - Etalle, Sandro

A2 - Pettorossi, A.

N1 - Imported from DIES

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

KW - EWI-1200

KW - IR-56285

U2 - 10.1007/3-540-56282-6_18

DO - 10.1007/3-540-56282-6_18

M3 - Paper

SP - 265

EP - 279

Y2 - 10 June 1992 through 12 June 1992

ER -