Safe Concurrency Introduction through Slicing

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579)

PDF Language: English
Download this file (PDF/282kB)
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: http://dx.doi.org/10.1145/2678015.2682533

Abstract

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible.

Item Type:	Book section
DOI/Identification number:	10.1145/2678015.2682533
Projects:	RELEASE
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders:	European Commission (https://ror.org/00k4n6c32)
Depositing User:	S. Thompson
Date Deposited:	08 Jan 2015 10:04 UTC
Last Modified:	05 Nov 2024 10:30 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/46579 (The current URI for this page, for reference purposes)

University of Kent Author Information

Li, Huiqing.

Creator's ORCID:
CReDIT Contributor Roles:

Thompson, Simon.

Creator's ORCID:	https://orcid.org/0000-0002-2350-301X
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.