Language-Parametric Reference Synthesis

Daniel Pelsmaeker

Date: Wed, September 20, 2023
Time: 12:00
Room: Turing 0.E420

Ideally we are able to implement refactorings in a language-parametric way. These refactorings can copy, move, or generate code. As part of these implementation, we often need some mechanism to synthesize references to the copied, moved, or created definitions in the program.

In this seminar talk I explore our approach to reference synthesis, the process of synthesizing valid-by-construction references at any point in the program in a language-parametric way.

Previous: Lucas Holten |
Next: Casper Bach Poulsen |