Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 11:30 - 12:00 at Regency B - Code Generation Chair(s): Stefan Marr

Developers of program transformations often reason about transformations to assert certain properties of the generated code. We propose the application of 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.

Sun 22 Oct

meta-2017
10:30 - 12:00: Meta 2017 - Code Generation at Regency B
Chair(s): Stefan MarrUniversity of Kent
meta-2017150866100000010:30 - 11:30
Talk
Manuel SerranoInria, France
meta-2017150866460000011:30 - 12:00
Talk
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegTU Delft
DOI