Abstract
Developers of program transformations often reason about transformations to assert certain properties of the generated
code. We propose to apply abstract interpretation to program transformations in order to automate and support such
reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for
the program transformation language Stratego. In particular, we present challenges encountered during the development
of the abstract Stratego interpreter and how we intend to solve these challenges.
code. We propose to apply abstract interpretation to program transformations in order to automate and support such
reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for
the program transformation language Stratego. In particular, we present challenges encountered during the development
of the abstract Stratego interpreter and how we intend to solve these challenges.
| Original language | English |
|---|---|
| Title of host publication | Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection |
| Place of Publication | New York |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1-5 |
| Number of pages | 5 |
| ISBN (Electronic) | 978-1-4503-5523-0 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection: Meta 2017 - Vancouver, Canada Duration: 22 Oct 2017 → 22 Oct 2017 |
Workshop
| Workshop | The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection |
|---|---|
| Country/Territory | Canada |
| City | Vancouver |
| Period | 22/10/17 → 22/10/17 |
Keywords
- abstract interpretation
- program transformation