Refactoring is the process of changing the design of a program without changing what it
does. Typical refactorings, such as function extraction and generalisation, are intended to …

Refactoring Functional Programs Page 1 Refactoring Functional Programs Simon Thompson
Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, United Kingdom …

Refactorings are source-to-source program transformations which change program structure
and organisation, but not program functionality. Documented in catalogues and supported …

This thesis is concerned with the investigation and implementation of a number of
refactorings for Haskell. The refactorings are themselves written in Haskell [108], and …

Refactoring is the process of changing the structure of a program while preserving its
behaviour in order to increase code quality, programming productivity and code reuse. With …

Refactoring is the process of redesigning existing code without changing its functionality.
Refactoring has recently come to prominence in the OO community. In this paper we explore …

Refactoring is a well-known technique for improving the design of existing programs without
changing their external behaviour. HaRe is the refactoring tool we have built to support …

Refactoring is the process of improving the design of existing programs without changing
their external behaviour. Behaviour preservation guarantees that refactoring does not …

We present a framework for making a refactoring tool extensible, allowing users to define
refactorings from scratch using the concrete syntax of the language, as well as to describe …

Tool support for refactoring provides guarantees for the preservation of the program
semantics during program transformation. This paper explains how RefactorErl, a refactoring …