© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 kbytesBibtex 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}, }