Dynamic ownership in a dynamic language

Authors:
Donald Gordon;James Noble
Affiliations:
Innaworks Development Ltd, Wellington, New Zealand;Victoria University, Wellington, New Zealand
Venue:
Proceedings of the 2007 symposium on Dynamic languages
Year:
2007

Citing 17
Cited 7

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming: an objective sense of style

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Using a prototype-based language for user interface: the Newton project's experience

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
On binary methods

Theory and Practice of Object Systems - Special issue: type systems
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Alias burying: unique variables without destructive reads

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
The Java Programming Language

The Java Programming Language
Ownership types for object encapsulation

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

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Object Ownership for Dynamic Alias Protection

TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Object-oriented encapsulation for dynamically typed languages

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
Generic ownership for generic Java

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Ownership transfer in universe types

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Special Feature Zork: A Computerized Fantasy Simulation Game

Computer

Read-only execution for dynamic languages

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
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
Are your incoming aliases really necessary? counting the cost of object ownership

Proceedings of the 2013 International Conference on Software Engineering
The need for capability policies

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Ownership types: a survey

Aliasing in Object-Oriented Programming
A retrospective on aliasing type systems: 2012-2022

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object aliasing causes as many problems in dynamic languages as it does in static languages. Most existing work on aliasing, such as ownership types, relies on static checking based on annotations and type declarations. We introduce ConstraintedJava, a scripting language based on BeanShell that provides dynamic ownership checking. Dynamic ownership provides the encapsulation benefits of static ownership types but preserves the flexibility of dynamic languages.