Journal article
Program Transformations in a Denotational Setting
Program transformations are frequently performed by optimizing compilers, and the correctness of applying them usually depends on data flow information. For language-to-same-language transformations, it is shown how a denotational setting can be useful for validating such program transformations. Strong equivalence is obtained for transformations that exploit information from a class of forward data flow analyses, whereas only weak equivalence is obtained for transformations that exploit information from a class of backward data flow analyses.
To obtain strong equivalence, both the original and the transform program must be data flow analysed, but consideration of a transformation-exploiting liveness of variables indicates that a more satisfactory approach may be possible
Language: | English |
---|---|
Publisher: | ACM |
Year: | 1985 |
Pages: | 359-379 |
ISSN: | 15584593 and 01640925 |
Types: | Journal article |
DOI: | 10.1145/3916.3917 |
ORCIDs: | Nielson, Flemming |