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 | |
| 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
- General Computer Science