Permission-based ownership: encapsulating state in higher-order typed languages

13 years 10 months ago

Download www.cs.cmu.edu

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 Fown, an extension of System F with references and ownership. Our design shows both how ownership ﬁts into standard type theory and the encapsulation beneﬁts it can provide in languages with ﬁrstclass 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 ﬂexible than previous ownership type systems, while also providing stronger encapsulation guarantees. Categories and Subject Descriptors D.3 [Programming Languages]: Language Constructs and Features General Terms Languages, T...

Neelakantan R. Krishnaswami, Jonathan Aldrich

Real-time Traffic