Formalisation of Haskell refactorings
Formalisation of Haskell refactorings
复制标题
Haskell 重构的形式化
DOI：
10.1017/s0956796820000143
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
S. Thompson
中科院分区：
文献类型：
--
作者：
Huiqing Li;S. Thompson
重构是一种众所周知的技术，用于改进现有程序的设计，而不改变其外部行为。HaRe是我们为支持重构Haskell程序而构建的重构工具。沿着HaRe的发展，这种形式化过程有助于澄清重构的含义，提高我们对重构行为保持的信心，并减少测试的需要。本文给出了一个概述HaRe，并显示了我们的方法重构的形式化。
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 Haskell programs. Along with the development of HaRe, 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.