JetBrains Research unites scientists working in challenging new disciplines

Seminar: Convergence of program transformers in the metric space of trees

Termination is a desirable property of a program transformer: be it a partial evaluation, specializer or supercompiler. It is often hard to prove that a transformer indeed terminates. In this talk we will present a language-independent framework for proving termination of program transformers. We will also discuss some techniques to ensure termination and apply the framework to supercompilation.

Speaker: Kate Verbitskaya

16.09.2019, 17:15.

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg

State University, Stary Peterhof, Universitetski pr., 28