Generic ownership for generic Java
Generic ownership for generic Java
复制标题
通用 Java 的通用所有权
DOI：
10.1145/1167515.1167500
复制
发表时间：
2006
影响因子：
--
通讯作者：
Potanin A
中科院分区：
文献类型：
--
作者：
Potanin A
所有权类型通过确保对象不会泄漏到拥有它们的对象之外，从而在面向对象的程序中强制封装。现有的所有权编程语言要么不支持参数多态性（类型泛型），要么试图将其添加到所有权限制之上。泛型所有权在健全的泛型命令式语言之上提供了每个对象的所有权。生成的系统不仅提供了与已建立的系统相当的所有权保证，而且由于参数多态性的完全重用，还需要很少的额外语言机制。我们将通用所有权的核心正式化，强调只有限制调用和所有者子类型保存才能实现深度所有权。最后，我们描述了所有权泛型Java （OGJ）是如何作为泛型Java的最小扩展来实现的，以期将所有权类型引入主流编程。
Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be leaked beyond object(s) thatownthem. Existing ownership programming languages either do not support parametric polymorphism (type genericity) or attempt to add it on top of ownership restrictions. Generic Ownership provides per-object ownership on top of a sound generic imperative language. The resulting system not only provides ownership guarantees comparable to established systems, but also requires few additional language mechanisms due to full reuse of parametric polymorphism. We formalise the core of Generic Ownership, highlighting that only restriction ofthiscalls and owner subtype preservation are required to achieve deep ownership. Finally we describe how Ownership Generic Java (OGJ) was implemented as a minimal extension to Generic Java in the hope of bringing ownership types into mainstream programming.
登录
查看更多内容
所有权域：将别名策略与机制分离
影响因子：
2.4
作者：
Jonathan Aldrich;C. Chambers
通讯作者：
C. Chambers
约束：统一的别名和类型方法
DOI：
--
发表时间：
1985
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
L. Lamport;F. Schneider
通讯作者：
F. Schneider
DOI：
10.1145/378795.378797
发表时间：
2001-05
期刊：
--
影响因子：
--
作者：
A. Kennedy;Don Syme
通讯作者：
A. Kennedy;Don Syme
可达性和非循环性的类型系统
DOI：
--
发表时间：
2005
期刊：
European Conference on Object-Oriented Programming
影响因子：
--
作者：
Yi Lu;John Michael Potter
通讯作者：
John Michael Potter
DOI：
10.1145/504282.504287
发表时间：
2001-10
期刊：
--
影响因子：
--
作者：
Chandrasekhar Boyapati;M. Rinard
通讯作者：
Chandrasekhar Boyapati;M. Rinard