Safe Concurrency Introduction through Slicing

Li, Huiqing, Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. . pp. 103-113. ACM SIGPLAN ISBN 978-1-4503-3297-2. (doi: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:	Conference or workshop item (Paper)
DOI/Identification number:	10.1145/2678015.2682533
Projects:	[UNSPECIFIED] RELEASE
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions:	Faculties > Sciences > School of Computing Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User:	Simon Thompson
Date Deposited:	08 Jan 2015 10:04 UTC
Last Modified:	29 May 2019 14:03 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/46579 (The current URI for this page, for reference purposes)