From Natural Semantics To Stratego
Room: BBL room 471
Speaker: Brad Alexander, School of Computer Science, University of Adelaide
Title: From Natural Semantics to Stratego
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.