Please log in to watch this conference skillscast.

In this talk, you will learn a new approach to the problem of calculating compilers. In particular, you will explore developing a simple but general technique that allows you to derive correct compilers from high-level semantics by systematic calculation, with all the required compilation machinery falling naturally out of the calculation process.

The approach is based upon the use of standard equational reasoning techniques, and has been applied to calculate compilers for a wide range of language features and their combination. During the talk, you will discover the basic ideas using a small example language.

View the pdf publication here.

YOU MAY ALSO LIKE: