Language-Parametric Reference Synthesis

Daniel Pelsmaeker

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 | Dependent Type Checking Modulo Associativity and Commutativity
Next: Casper Bach Poulsen | A Monadic Framework for Name Resolution in Multi-phased Type Checkers