2018-11-02: Geoff Hamilton (Dublin City University)

Sat, 21 Oct 2023 21:24:08 +0100

Geoff Hamilton (Dublin City University)

The Next 700 Program Transformers

Abstract

In this talk, I will describe a hierarchy of program transformers in which the transformer at each level builds on top of the transformers at lower levels. The program transformer at the bottom of the hierarchy corresponds to positive supercompilation, and that at the next level corresponds to distillation. I will then try to characterise the improvements that can be made at each level, and show how the transformers can be used for program verification and theorem proving.

2018-11-02 16:00:00 UTC
LT1310