Please use this identifier to cite or link to this item:
Title: Towards sound refactoring in erlang
Authors: Tanti, Erica
Francalanza, Adrian
Keywords: Software refactoring
ERLANG (Computer program language)
Issue Date: 2015-08
Publisher: Malta Chamber of Scientists
Citation: Tanti, E., & Francalanza, A. (2015). Towards sound refactoring in erlang. Xjenza, 3(1), 31-35
Abstract: Erlang is an actor-based programming language used extensively for building concurrent, reactive systems that are highly available and suff er minimum downtime. Such systems are often mission critical, making system correctness vital. Refactoring is code restructuring that improves the code but does not change behaviour. While using automated refactoring tools is less error-prone than performing refactorings manually, automated refactoring tools still cannot guarantee that the refactoring is correct, i.e., program behaviour is preserved. This leads to lack of trust in automated refactoring tools. We rst survey solutions to this problem proposed in the literature. Erlang refactoring tools as commonly use approximation techniques which do not guarantee behaviour while some other works propose the use of formal methodologies. In this work we aim to develop a formal methodology for refactoring Erlang code. We study behavioural preorders, with a special focus on the testing preorder as it seems most suited to our purpose.
Appears in Collections:Scholarly Works - FacICTCS
Xjenza, 2015, Volume 3, Issue 1
Xjenza, 2015, Volume 3, Issue 1

Files in This Item:
File Description SizeFormat 
Towards sound refacturing.pdf545.88 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.