Ownership types for flexible alias protection

被引：141

作者：

Clarke, DG ^{[1
]}

Potter, JM ^{[1
]}

Noble, J ^{[1
]}

机构：

[1] Macquarie Univ, Microsoft Res Inst, Sydney, NSW 2109, Australia

来源：

ACM SIGPLAN NOTICES | 1998年 / 33卷 / 10期

关键词：

alias protection; sharing; containment; ownership; representation exposure; programming language design;

D O I：

10.1145/286942.286947

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Object-oriented programming languages allow inter-object aliasing. Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's state can change via an alias to one of ifs components, without the aggregate being aware of any aliasing. Ownership types form a static type system that indicates object ownership. This provides a flexible mechanism to limit the visibility of object references and restrict access paths to objects, thus controlling a system's dynamic topology. The type system is shown to be sound, and the specific aliasing properties that a system's object graph satisfies are formulated and proven invariant for well-typed programs.

引用

页码：48 / 64

页数：17