Toward Abstract Interpretation of Program Transformations

Sven Keidel, Sebastian Erdweg

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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.
Original languageEnglish
Title of host publicationMeta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages1-5
Number of pages5
ISBN (Electronic)978-1-4503-5523-0
DOIs
Publication statusPublished - 2017
EventThe 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection: Meta 2017 - Vancouver, Canada
Duration: 22 Oct 201722 Oct 2017

Workshop

WorkshopThe 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
CountryCanada
CityVancouver
Period22/10/1722/10/17

Keywords

  • abstract interpretation
  • program transformation

Fingerprint Dive into the research topics of 'Toward Abstract Interpretation of Program Transformations'. Together they form a unique fingerprint.

  • Cite this

    Keidel, S., & Erdweg, S. (2017). Toward Abstract Interpretation of Program Transformations. In Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (pp. 1-5). Association for Computing Machinery (ACM). https://doi.org/10.1145/3141517.3141855