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
N1 - Funding Information:
1 This work is dedicated to Neil D. Jones on the occasion of his 60th anniversary. It was presented as part of the invited talk at the “Special session honoring Neil D. Jones” of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, ˚rhus, Denmark , May 23 – 27, 2001. It was supported in part by the european FP5 project IST-1999-20527 Daedalus. 2 cousot@ens.fr, www.di.ens.fr/~cousot 3 rcousot@lix.polytechnique.fr, lix.polytechnique.fr/~rcousot
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 -