Generic ownership: practical ownership control in programming languages

Authors:
Alex Potanin;James Noble;Robert Biddle
Affiliations:
Victoria University of Wellington, New Zealand;Victoria University of Wellington, New Zealand;Victoria University of Wellington, New Zealand
Venue:
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Year:
2004

Citing 16
Cited 2

Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The Geneva convention on the treatment of object aliasing

ACM SIGPLAN OOPS Messenger
Localized ownership: managing dynamic objects in C++

Pattern languages of program design 2
Making the future safe for the past: adding genericity to the Java programming language

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
Design and implementation of generics for the .NET Common language runtime

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Alias annotations for program understanding

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
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Saving the world from bad beans: deployment-time confinement checking

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Snapshot Query-Based Debugging

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Object ownership and containment

Object ownership and containment
Scale-free geometry in OO programs

Communications of the ACM - Adaptive complex enterprises
Checking ownership and confinement: Research Articles

Concurrency and Computation: Practice & Experience - Formal Techniques for Java-like Programs

On ownership and accessibility

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Graph-based analysis and prediction for software evolution

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This research abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming languages in a way that will help with adoption of ownership in the general programming community.