Autor:	Francalanza, Adrian, Giunti, Marco, Ravara, António
Rok vydání:	2015
Předmět:	Computer Science - Programming Languages Computer Science - Logic in Computer Science
Zdroj:	EPTCS 188, 2015, pp. 23-32
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.188.4
Popis:	We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant \^a although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions. Comment: In Proceedings WWV 2015, arXiv:1508.03389
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1508.03901 Zobrazit plný text záznamu View this record from Arxiv