Towards Trustworthy Refactoring in Erlang

Abstract

Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve style or efficiency. We propose a simple, high-level but rigorous, notation for defining refactoring transformations in Erlang, and show that this notation provides an extensible… (More)
DOI: 10.4204/EPTCS.216.5

Topics

1 Figure or Table

Cite this paper

@inproceedings{Horpcsi2016TowardsTR, title={Towards Trustworthy Refactoring in Erlang}, author={D{\'a}niel Horp{\'a}csi and Judit K{\"o}szegi and Simon J. Thompson}, booktitle={VPT@ETAPS}, year={2016} }