School of Computing

Tool Support for Refactoring Functional Programs

Huiqing Li and Simon Thompson

In Danny Dig, Robert Fuhrer, and Ralph Johnson, editors, Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools, pages 182-196, Nashville, Tennessee, USA, October 2008.

Abstract

We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-functional refactoring tools for functional programming languages. HaRe and Wrangler are designed to handle multi-module projects in complete languages: Haskell 98 and Erlang/OTP. They are embedded in Emacs, (gVim and Eclipse) and respect programmer layout styles.

In discussing the construction of HaRe and Wrangler, we comment on the different challenges presented by Haskell and Erlang due to their differences in syntax, semantics and pragmatics. In particular, we examine the sorts of analysis that underlie our systems.

Download publication 194 kbytes

Bibtex Record

@inproceedings{2843,
author = {Huiqing Li and Simon Thompson},
title = {{T}ool {S}upport for {R}efactoring {F}unctional {P}rograms},
month = {October},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2843},
    publication_type = {inproceedings},
    submission_id = {28682_1227006525},
    booktitle = {Proceedings of the Second ACM  SIGPLAN Workshop on Refactoring Tools},
    editor = {Danny Dig and Robert Fuhrer and Ralph Johnson},
    address = {Nashville, Tennessee, USA},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014