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

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 language	Undefined
Pages	265-279
Number of pages	15
DOIs	https://doi.org/10.1007/3-540-56282-6_18
Publication status	Published - 1992

Keywords

EWI-1200
IR-56285

Access to Document

10.1007/3-540-56282-6_18

bossi92transforming
open

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

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

ER -