The Haskell Refactorer, HaRe, and its API

Li, Huiqing; Thompson, Simon; Reinke, Claus

doi:10.1016/j.entcs.2005.02.053

Cited by 26 publications

(17 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…HaRe does this, and also retains comments, so that users can recognise their source code after a refactoring. The current release of HaRe supports 24 refactorings, and also exposes an API [10] for defining Haskell refactorings and program transformations.…”

Section: Tool Support For Refactoringsmentioning

confidence: 99%

Refactoring Erlang programs

Lovei

Kozsik²,

Víg³

et al. 2007

Per. Pol. Elec. Eng.

View full text Add to dashboard Cite

show abstract

Section: Tool Support For Refactoringsmentioning

confidence: 99%

Refactoring Erlang programs

Lovei

Kozsik²,

Víg³

et al. 2007

Per. Pol. Elec. Eng.

View full text Add to dashboard Cite

show abstract

“…Refactorings are also commonly discussed in the context of transforming code so that it conforms to a particular design pattern or coding standard. Here we build on existing work undertaken at Kent who have developed refactoring tool support for functional programming [Tho04] in the languages Erlang [LT08] and Haskell [LTR05] and their relationship [LT06].…”

Section: Introductionmentioning

confidence: 99%

Property-Based Testing - The ProTest Project

Derrick

Walkinshaw

Arts

et al. 2010

Formal Methods for Components and Objects

Self Cite

View full text Add to dashboard Cite

Abstract. The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang.

show abstract

“…A variety of refactoring tools have been developed to provide refactoring support for various programming languages, such as the Refactoring Browser for Smalltalk [2], IntelliJ Idea [3] for Java, ReSharper [3] for C#, VB.NET, Eclipse [4]'s refactoring support for C++, Java, and much more. For functional programming languages there is, for example, the HaRe [5] system for Haskell, and for Erlang the two systems Wrangler [6] and RefactorErl [7].…”

Section: Introductionmentioning

confidence: 99%

A Domain-Specific Language for Scripting Refactorings in Erlang

Thompson

2012

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract.Refactoring is the process of changing the design of a program without changing its behaviour. Many refactoring tools have been developed for various programming languages; however, their support for composite refactorings -refactorings that are composed from a number of primitive refactorings -is limited. In particular, there is a lack of powerful and easy-to-use frameworks that allow users to script their own large-scale refactorings efficiently and effectively.This paper introduces the domain-specific language framework of Wrangler -a refactoring and code inspection tool for Erlang programsthat allows users to script composite refactorings, test them and apply them on the fly. The composite refactorings are fully integrated into Wrangler and so can be previewed, applied and 'undone' interactively.

show abstract

The Haskell Refactorer, HaRe, and its API

Cited by 26 publications

References 1 publication

Refactoring Erlang programs

Refactoring Erlang programs

Property-Based Testing - The ProTest Project

A Domain-Specific Language for Scripting Refactorings in Erlang

Contact Info

Product

Resources

About