Toward Abstract Interpretation of Program Transformations

None, None; None, None

Toward Abstract Interpretation of Program Transformations

Conference Paper (2017)

Author(s)

Sven Keidel (TU Delft - Electrical Engineering, Mathematics and Computer Science)

Sebastian Erdweg (TU Delft - Electrical Engineering, Mathematics and Computer Science)

Research Group

Programming Languages

Program transformation Abstract interpretation

DOI related publication

https://doi.org/10.1145/3141517.3141855 Final published version

To reference this document use

https://resolver.tudelft.nl/uuid:02a16fbd-7cc2-48c4-823b-64cc094b99d6

More Info

expand_more

Publication Year

2017

Language

English

Research Group

Programming Languages

Pages (from-to)

1-5

ISBN (electronic)

978-1-4503-5523-0

Event

The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (2017-10-22 - 2017-10-22), Vancouver, Canada

Downloads counter

175

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.