Write a Blog >>
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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: Code GenerationMETA at Regency B
Chair(s): Stefan MarrUniversity of Kent
10:30 - 11:30
Manuel SerranoInria, France
11:30 - 12:00
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegTU Delft