Toward Abstract Interpretation of Program Transformations

Conference paper (2017)

Authors

S. Keidel Programming Languages -

S.T. Erdweg Programming Languages -

Research Group

Programming Languages () (TU Delft)

Program transformation Abstract interpretation

To reference this document use:

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

More Info

expand_more

Published Date

2017

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Technology

Research Group

Programming Languages

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.

Files

3141517.3141855.pdf

(pdf | 0.485 Mb)

Download not available