Uniqueness Typing for Resource Management in Message-Passing Concurrency

Details Uniqueness Typing for Resource Management in Message-Passing Concurrency Uniqueness Typing for Resource Management in Message-Passing Concurrency

2010-03-29

arxiv.org/abs/1003.5513v1

EPTCS 22, 2010, pp. 26-37

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.22.3

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.

Affiliated with

Also associated with

No associations

Rating

Uniqueness Typing for Resource Management in Message-Passing Concurrency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Uniqueness Typing for Resource Management in Message-Passing Concurrency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Uniqueness Typing for Resource Management in Message-Passing Concurrency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-499674