Checking ownership and confinement: Research Articles

Authors:
Alex Potanin;James Noble;Robert Biddle
Affiliations:
School of Mathematical and Computing Sciences, Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand;School of Mathematical and Computing Sciences, Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand;School of Mathematical and Computing Sciences, Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand
Venue:
Concurrency and Computation: Practice & Experience - Formal Techniques for Java-like Programs
Year:
2004

Citing 0
Cited 14

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
Type-based confinement

Journal of Functional Programming
Understanding the shape of Java software

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Caching and incrementalisation in the java query language

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Static extraction of sound hierarchical runtime object graphs

Proceedings of the 4th international workshop on Types in language design and implementation
Making Sense of Large Heaps

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Static dominance inference

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Efficient object querying for java

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
The runtime structure of object ownership

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Inference and checking of object ownership

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Synthesizing iterators from abstraction functions

Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Collecting a heap of shapes

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Ownership types: a survey

Aliasing in Object-Oriented Programming
Object graphs with ownership domains: an empirical study

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A number of proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. It is not clear how practical these proposals are, that is, how well they relate to the kinds of programs currently written in Java-like languages. To address this problem, we analysed heap snapshots from a corpus of Java programs. Our results indicate that object-oriented programs do in fact exhibit symptoms of encapsulation in practice, and that proposed models of uniqueness, ownership, and confinement can usefully describe the aliasing structures of object-oriented programs. Understanding the kinds of aliasing present in programs should help us to design formalisms to make explicit the kinds of aliasing implicit in object-oriented programs. Copyright © 2004 John Wiley & Sons, Ltd.