From Natural Semantics To Stratego

Brad Alexander from the School of Computer Science at the University of Adelaide visits Utrecht University, where he will give a talk in the Software Technology Colloquium.

Title: From Natural Semantics to Stratego

Abstract:

This talk describes our early experience in re-defining of a prototype compiler using Stratego. The core of the compiler is the optimiser, which pervasively transforms programs expressed in a small subset of point-free Bird-Meertens Formalism (BMF). The optimiser was originally defined using Natural Semantics and made heavy use of rules for format- checking and normalisation.

The talk will briefly outline the original optimiser and describe our experiences in converting Natural Semantics rules to Stratego. I will focus on features of Stratego that lead to substantially improved code and describe helpful idioms for converting between the two forms. I'll conclude with an outline of our future applications of Stratego.