Capabilities for External Uniqueness

Courtesy Lambda the Ultimate - Programming Languages Weblog  Thu, 04/09/2009 - 10:26

Philipp Haller and Martin Odersky have submitted Capabilities for External Uniqueness to OOPSLA'09.

Unique object references have many important applications in object-oriented programming.

For instance, with sufficient encapsulation properties they enable safe and efficient transfer of message objects between concurrent processes.

However, it is a long-standing challenge to integrate unique references into practical object-oriented programming languages.

This paper introduces a new approach to external uniqueness. The idea is to use capabilities for enforcing both aliasing...


 

More related items

Immutable Value Objects in PHP - Bradley Holt
Yesterday I tweeted: Modern object-oriented programming languages need support for immutable Value Objects. #DDD The “DDD” in that tweet stands for Domain-Driven Design. There were...

Why Object-Oriented Languages Need Tail Calls
The Fortress blog has a recent post, Why Object-Oriented Languages Need Tail Calls, where Guy Steele argues for the necessity of proper tail call implementations without rehashing two of the...

Upcoming PHP Courses - Lorna Mitchell
Since becoming freelance 18 months ago, I've taught a number of courses at my excellent local tech training centre, NTI Leeds. Over the next few months we're running some one-day PHP courses...


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com