Transforming Normal Programs by Replacement

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

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

14 Citations (Scopus)
31 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

Bossi, A., Pettorossi, A. (Ed.), Cocco, N., & Etalle, S. (1992). Transforming Normal Programs by Replacement. 265-279. https://doi.org/10.1007/3-540-56282-6_18
Bossi, Annalisa ; Pettorossi, A. (Editor) ; Cocco, Nicoletta ; Etalle, Sandro. / Transforming Normal Programs by Replacement. 15 p.
@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",

}

Bossi, A, Pettorossi, A (ed.), Cocco, N & Etalle, S 1992, 'Transforming Normal Programs by Replacement' pp. 265-279. https://doi.org/10.1007/3-540-56282-6_18

Transforming Normal Programs by Replacement. / Bossi, Annalisa; Pettorossi, A. (Editor); Cocco, Nicoletta; Etalle, Sandro.

1992. 265-279.

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

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 -

Bossi A, Pettorossi A, (ed.), Cocco N, Etalle S. Transforming Normal Programs by Replacement. 1992. https://doi.org/10.1007/3-540-56282-6_18

Access to Document