Polymorphic Endpoint Types for Copyless Message Passing

Details Polymorphic Endpoint Types for Copyless Message Passing Polymorphic Endpoint Types for Copyless Message Passing

2011-08-02

arxiv.org/abs/1108.0466v1

EPTCS 59, 2011, pp. 52-67

Computer Science

Programming Languages

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.5

We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorphic session types, and we show that well-typed processes are free from faults, leaks, and communication errors. The type system is essentially linear, although linearity alone may leave room for scenarios where well-typed processes leak memory. We identify a condition on endpoint types that prevents these leaks from occurring.

Affiliated with

Also associated with

No associations

Rating

Polymorphic Endpoint Types for Copyless Message Passing 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 Polymorphic Endpoint Types for Copyless Message Passing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Polymorphic Endpoint Types for Copyless Message Passing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508364