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 (277kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
| 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: | [UNSPECIFIED] 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 |
| Depositing User: | Simon Thompson |
| Date Deposited: | 08 Jan 2015 10:04 UTC |
| Last Modified: | 16 Feb 2021 13:21 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/46579 (The current URI for this page, for reference purposes) |
| Thompson, Simon: |  https://orcid.org/0000-0002-2350-301X |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
