Uniqueness Typing for Resource Management in Message-Passing Concurrency.
Item Type:Journal Article
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.
logcom.exs022.full.pdf (Published (publisher's copy) - Peer Reviewed) 837.7Kb
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
National Institutes of Health (NIH)
06 IN.1 1898
Author: HENNESSY, MATTHEW
Type of material:Journal Article
Series/Report no:Journal of Logic and Computation
Availability:Full text available