On ownership and accessibility

Authors:
Yi Lu;John Potter
Affiliations:
Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney;Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney
Venue:
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Year:
2006

Citing 22
Cited 24

Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Confined types

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Featherweight Java: a minimal core calculus for Java and GJ

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Adoption and focus: practical linear types for imperative programming

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Ownership, encapsulation and the disjointness of type and effect

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership types for object encapsulation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alias Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Simple Ownership Types for Object Containment

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
On Variance-Based Subtyping for Parametric Types

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Alias Types for Recursive Data Structures

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
The Ins and Outs of Objects

ASWEC '98 Proceedings of the Australian Software Engineering Conference
Adding wildcards to the Java programming language

Proceedings of the 2004 ACM symposium on Applied computing
Generic ownership: practical ownership control in programming languages

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A practical type system and language for reference immutability

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object ownership and containment

Object ownership and containment
Connecting effects and uniqueness with adoption

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Protecting representation with effect encapsulation

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for reachability and acyclicity

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Object and reference immutability using Java generics

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Implicit ownership types for memory management

Science of Computer Programming
CoBoxes: Unifying Active Objects and Structured Heaps

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Model for Java with Wildcards

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Existential Quantification for Variant Ownership

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
OGJ gone wild

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Comparing universes and existential ownership types

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Ownership Downgrading for Ownership Types

APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Immutable objects for a java-like language

ESOP'07 Proceedings of the 16th European conference on Programming
Infering ownership types for encapsulated object-oriented program components

Program analysis and compilation, theory and practice
Tribal ownership

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Encoding ownership types in java

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Location types for safe distributed object-oriented programming

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Separating ownership topology and encapsulation with generic universe types

ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus for boxes and traits in a java-like setting

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
A type and effect system for determinism in multithreaded programs

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Gradual ownership types

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Ownership, filters and crossing handlers: flexible ownership in dynamic languages

Proceedings of the 8th symposium on Dynamic languages
Validity invariants and effects

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Combining traits with boxes and ownership types in a Java-like setting

Science of Computer Programming
Structural lock correlation with ownership types

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Ownership types: a survey

Aliasing in Object-Oriented Programming
Understanding ownership types with dependent types

Aliasing in Object-Oriented Programming
Location types for safe programming with near and far references

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ownership types support information hiding by providing statically enforceable object encapsulation based on an ownership tree. However ownership type systems impose fixed ownership and an inflexible access policy. This paper proposes a novel type system which generalizes ownership types by separating object accessibility and reference capability. With the ability to hide owners, it provides a more flexible and useful model of object ownership.