Please use this identifier to cite or link to this item:
Title: Uniqueness typing for resource management in message-passing concurrency
Authors: Devries, Edsko
Francalanza, Adrian
Hennessy, Matthew
Keywords: Language acquisition
Computer multitasking
Issue Date: 2009
Publisher: Open Publishing Association
Citation: Devries, E., Francalanza, A., & Hennessy, M. (2009). Uniqueness typing for resource management in message-passing concurrency. First International Workshop on Linearity, Coimbra. 26-37.
Abstract: We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. Inevitably, the added expressiveness increases the possibilities for runtime errors. We define a substructural type system which combines uniqueness typing and affine typing to reject these ill-behaved programs.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
res-pi-linearity.pdf102.71 kBAdobe PDFView/Open

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