Uniqueness Typing for Resource Management in Message-Passing Concurrency.
Citation:
Edsko de Vries and Adrian Francalanza and Matthew Hennessy., Uniqueness Typing for Resource Management in Message-Passing Concurrency., Journal of Logic and Computation, 24, 3, 2012, 531-556.Download Item:
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
Sponsor
Grant Number
National Institutes of Health (NIH)
06 IN.1 1898
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHED
Author: HENNESSY, MATTHEW
Type of material:
Journal ArticleSeries/Report no:
Journal of Logic and Computation24
3
Availability:
Full text availableDOI:
http://dx.doi.org/10.1093/logcom/exs022Metadata
Show full item recordLicences: