Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages

DMCA

Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Neel Krishnaswami , Jonathan Aldrich

Venue:	PLDI’05, JUNE 12–15, 2005, CHICAGO, ILLINOIS, USA
Citations:	27 - 0 self

BibTeX

@MISC{Krishnaswami05permission-basedownership:,
    author = {Neel Krishnaswami and Jonathan Aldrich},
    title = {Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages},
    year = {2005}
}

OpenURL

Abstract

Today's module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of large software systems. Ownership types have been proposed as a solution to this problem, but current systems have ad-hoc access restrictions and are limited to Java-like languages.In this paper, we describe System F own, an extension of System F with references and ownership. Our design shows both how ownership fits into standard type theory and the encapsulation benefits it can provide in languages with first-class functions, abstract data types, and parametric polymorphism. By looking at ownership in the setting of System F, we were able to develop a design that is more principled and flexible than previous ownership type systems, while also providing stronger encapsulation guarantees.

Keyphrases

higher-order typed language permission-based ownership encapsulating state abstract data type large software system parametric polymorphism serious problem information hiding ownership type ad-hoc access restriction encapsulation guarantee module system previous ownership type system java-like language mutable object current system encapsulation benefit first-class function standard type theory

DMCA