Toward Abstract Interpretation of Program Transformations

Conference Paper (2017)
Author(s)

Sven Keidel (TU Delft - Programming Languages)

Sebastian Erdweg (TU Delft - Programming Languages)

Research Group
Programming Languages
DOI related publication
https://doi.org/10.1145/3141517.3141855
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

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.

No files available

Metadata only record. There are no files for this record.