Formalisation of Haskell Refactorings (2005)
| Venue: | In Trends in Functional Programming |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Li05formalisationof,
author = {Huiqing Li and Simon Thompson},
title = {Formalisation of Haskell Refactorings},
booktitle = {In Trends in Functional Programming},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Refactoring is a technique for improving the design of existing programs without changing their external behaviour. HaRe is the refactoring tool we have built to support refactoring Haskell 98 programs. Along with the development of HaRe, we have also investigated the formal specification and proof of validity of refactorings. This formalisation process helps to clarify the meaning of refactorings, improves our confidence in the behaviour-preservation of refactorings, and reduces the need for testing. This paper gives an overview of HaRe, and shows our approach to the formalisation of refactorings. 1
Citations
| 1112 | Refactoring: Improving the Design of Existing Code - Fowler, Beck, et al. - 1999 |
| 533 | A transformation system for developing recursive programs - Burstall, Darlington - 1977 |
| 265 | Why functional programming matters - Hughes - 1989 |
| 174 | Call-by-name, call-by-value and the λ-calculus - Plotkin - 1976 |
| 166 | A call-by-need lambda calculus - Ariola, Felleisen, et al. - 1995 |
| 102 | Program Transformation Systems - Partsch, Steinbrüggen - 1983 |
| 64 | 98: A Non-strict, Purely Functional Language - Haskell - 1999 |
| 52 | Compiling Haskell by program transformation: a report from the trenches - Jones |
| 37 | Tool Support for Refactoring Functional Programs - Li, Reinke, et al. - 2003 |
| 29 | Program transformation - Darlington |
| 11 | A formal specification of the haskell 98 module system - Diatchki, Jones, et al. - 2002 |
| 8 | The Haskell Refactorer: HaRe, and its API - Li, Thompson, et al. - 2005 |
| 1 | Refactoring Functional Programs.http://www.cs.kent.ac.uk/ projects/refactor-fp - Refactor-fp |
