论文信息 - Refactoring Functional Programs ( GR / R 75052 / 01 ) Final Report

Refactoring Functional Programs ( GR / R 75052 / 01 ) Final Report

Refactorings are source-to-source program transformations that change program structure and organisation, but not program functionality. Documented in catalogues and supported by tools, refactoring provides the means to adapt and improve the design of existing code, and has thus helped to address long-standing problems in software maintenance while also enabling the trend towards modern agile software development processes. Two typical refactoring scenarios are: adapting the structure of an existing code base to prepare for adding functionality or fixing a bug; cleaning up a code base after extensive functional changes.

Simon Thompson | Claus Reinke | Huiqing Li

[1] Simon J. Thompson,et al. Software metrics: measuring Haskell , 2005, Trends in Functional Programming.

[2] Simon Thompson,et al. A Case Study in Refactoring Functional Programs , 2003 .

[3] Chris Ryder. Software measurement for functional programming , 2004 .

[4] Chau Nguyen-Viet. Transformation in HaRe , 2004 .

[5] Simon J. Thompson. Refactoring Functional Programs , 2004, Advanced Functional Programming.

[6] John Hughes,et al. Report on the Programming Language Haskell 98 , 1999 .

[7] Simon Marlow,et al. Visual haskell: a full-featured haskell development environment , 2005, Haskell '05.

[8] Huiqing Li,et al. Progress on HaRe: the Haskell Refactorer , 2004 .

[9] Huiqing Li,et al. Formalisation of Haskell refactorings , 2005, Trends in Functional Programming.

[10] Martin Erwig,et al. Monadification of functional programs , 2004, Sci. Comput. Program..

[11] Simon Thompson,et al. Porting HaRe to the GHC API , 2005 .

[12] Huiqing Li,et al. The Haskell Refactorer, HaRe, and its API , 2005, Electron. Notes Theor. Comput. Sci..

[13] Joe Armstrong,et al. Concurrent programming in ERLANG , 1993 .

[14] Huiqing Li,et al. Tool support for refactoring functional programs , 2003, Haskell '03.