Skip to main content

Building trustworthy refactoring tools

Simon Thompson ( University of Kent )

Refactorings are program transformations that are intended to change the way that a program works without changing what it does. In this talk I'll explore what this idea means in practice, and how we provide various levels of assurance for refactorings. While the context is tools for Haskell and Erlang, the analysis applies more widely, e.g. to OO languages.

Speaker bio

Simon Thompson is Professor of Logic and Computation at the University of Kent. Functional programming is his main research field, but he has worked in various aspects of logic, and of testing as well. He is also the author of books on Haskell, Miranda, Erlang and constructive type theory.

Share this: