A case study in abstract interpretation based program transformation: Blocking command elimination

Patrick Cousot; Radhia Cousot

doi:10.1016/S1571-0661(04)80954-X

A case study in abstract interpretation based program transformation: Blocking command elimination

Patrick Cousot, Radhia Cousot

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Abstract

The design of correct semantics-based program transformations was illustrated using abstract interpretation on blocking code elimination. The general idea to formalize program transformation by abstract interpretation was to define a semantic transformation as an abstraction of the subject program semantics. The correctness of the semantic transformation is proved using an observational abstraction and specify details about the subject and transformed semantics should be abstracted away to considered them as equivalent. It is stated that abstract interpretation can be used to define a semantics-based program transformation framework.

Original language	English (US)
Pages (from-to)	41-64
Number of pages	24
Journal	Electronic Notes in Theoretical Computer Science
Volume	45
DOIs	https://doi.org/10.1016/S1571-0661(04)80954-X
State	Published - Nov 2001
Event	MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark Duration: May 23 2001 → May 26 2001

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1016/S1571-0661(04)80954-X

Fingerprint Dive into the research topics of 'A case study in abstract interpretation based program transformation: Blocking command elimination'. Together they form a unique fingerprint.

Cite this

@article{aa3e30fe35174e27a65114334a9b19dc,

title = "A case study in abstract interpretation based program transformation: Blocking command elimination",

abstract = "The design of correct semantics-based program transformations was illustrated using abstract interpretation on blocking code elimination. The general idea to formalize program transformation by abstract interpretation was to define a semantic transformation as an abstraction of the subject program semantics. The correctness of the semantic transformation is proved using an observational abstraction and specify details about the subject and transformed semantics should be abstracted away to considered them as equivalent. It is stated that abstract interpretation can be used to define a semantics-based program transformation framework.",

author = "Patrick Cousot and Radhia Cousot",

year = "2001",

month = nov,

doi = "10.1016/S1571-0661(04)80954-X",

language = "English (US)",

volume = "45",

pages = "41--64",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

note = "MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics ; Conference date: 23-05-2001 Through 26-05-2001",

}

TY - JOUR

T1 - A case study in abstract interpretation based program transformation

T2 - MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2001/11

Y1 - 2001/11

N2 - The design of correct semantics-based program transformations was illustrated using abstract interpretation on blocking code elimination. The general idea to formalize program transformation by abstract interpretation was to define a semantic transformation as an abstraction of the subject program semantics. The correctness of the semantic transformation is proved using an observational abstraction and specify details about the subject and transformed semantics should be abstracted away to considered them as equivalent. It is stated that abstract interpretation can be used to define a semantics-based program transformation framework.

AB - The design of correct semantics-based program transformations was illustrated using abstract interpretation on blocking code elimination. The general idea to formalize program transformation by abstract interpretation was to define a semantic transformation as an abstraction of the subject program semantics. The correctness of the semantic transformation is proved using an observational abstraction and specify details about the subject and transformed semantics should be abstracted away to considered them as equivalent. It is stated that abstract interpretation can be used to define a semantics-based program transformation framework.

UR - http://www.scopus.com/inward/record.url?scp=0005372156&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0005372156&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(04)80954-X

DO - 10.1016/S1571-0661(04)80954-X

M3 - Conference article

AN - SCOPUS:0005372156

VL - 45

SP - 41

EP - 64

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

Y2 - 23 May 2001 through 26 May 2001

ER -

A case study in abstract interpretation based program transformation: Blocking command elimination

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this