Refactoring is the process of changing the design of a program without changing its
behaviour. Many refactoring tools have been developed for various programming …

Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest
developments in Wrangler, which include improved user experience, the introduction of a …

This paper describes the design goals and current status of tidier, a software tool that tidies
Erlang source code, making it cleaner, simpler, and often also more efficient. In contrast to …

As the commercial usage of Erlang increases, so does the need for mature development
and testing tools. This paper aims to evaluate the available tools with their shortcomings …

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

This paper presents RefactorErl, a refactoring tool for the Erlang programming language.
Based on experience obtained during a major redesign of this tool, we describe some …

During the lifetime of a software product the interface of some used library modules might
change in such a way that the new interface is no longer compatible with the old one. This …

Final poster Page 1 4. The Haskell-like language (HLL) Jeroen Bastenhof ‒ J.Bastenhof@student.tudelft.nl
Supervisors: JGH Cockx, L. Miljak Proving correctness of refactoring tuples to records A …

Refactoring is the process changing the design of a program without changing its behaviour.
Many refactoring tools have been developed for various programming languages; while …

Generación de trazas para la ejecución concólica de programas Erlang Page 1 Generación
de trazas para la ejecución concólica de programas Erlang Trabajo fin de Máster Máster …