More Web Proxy on the site http://driver.im/

Article

Generic ownership: practical ownership control in programming languages

Authors:

Robert BiddleAuthors Info & Claims

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Pages 50 - 51

https://doi.org/10.1145/1028664.1028692

Published: 23 October 2004 Publication History

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.

References

[1]

Aldrich, J., and Chambers, C. Ownership domains: Separating aliasing policy from mechanism. In ECOOP (Oslo, Norway, 2004), Springer-Verlag.

[2]

Aldrich, J., Kostadinov, V., and Chambers, C. Alias annotations for program understanding. In OOPSLA (Nov. 2002).

Digital Library

[3]

Bokowski, B., and Vitek, J. Confined types. In Proceedings of Conference on Object-Oriented Programming, Languages, and Applications (1999), ACM Press.

Digital Library

[4]

Boyapati, C., Liskov, B., and Shrira, L. Ownership types for object encapsulation. In ACM Symposium on Principles of Programming Languages (POPL) (Jan. 2003).

Digital Library

[5]

Bracha, G., Odersky, M., Stoutamire, D., and Wadler, P. Making the future safe for the past: Adding Genericity to the Java programming language. In OOPSLA (Oct. 1998).

Digital Library

[6]

Cargill, T. Localized ownership: managing dynamic objects in c++. Pattern languages of program design 2 (1996), 5--18.

Digital Library

[7]

Clarke, D. Object ownership and containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Australia, 2002.

Digital Library

[8]

Clarke, D., and Drossopoulou, S. Ownership, encapsulation, and the disjointness of type and effect. In OOPSLA (2002).

Digital Library

[9]

Clarke, D., Richmond, M., and Noble, J. Saving the world from bad beans: Deployment-time confinement checking. In OOPSLA (October 2003).

Digital Library

[10]

Clarke, D., and Wrigstad, T. External uniqueness is unique enough. In ECOOP (Darmstadt, Germany, July 2003), L. Cardelli, Ed., vol. 2473 of Lecture Notes In Computer Science, Springer-Verlag, pp. 176--200.

[11]

Hogg, J. Islands: Aliasing protection in object-oriented languages. In OOPSLA (New York, Nov. 1991), vol. 26, ACM Press, pp. 271--285.

Digital Library

[12]

Hogg, J., Lea, D., Wills, A., de Champeaux, D., and Holt, R. The Geneva convention of the treatment of object aliasing. OOPS Messenger 3, 2 (April 1992), 11--16.

Digital Library

[13]

Igarashi, A., Pierce, B. C., and Wadler, P. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems (TOPLAS) 23, 3 (May 2001), 396--450.

Digital Library

[14]

Kennedy, A., and Syme, D. The design and implementation of Generics for the.NET Common Language Runtime. In Programming Language Design and Implementation (2001).

Digital Library

[15]

Müller, P., and Poetzsch-Heffter, A. Programming Languages and Fundamentals of Programming. Fernuniversität Hagen, 1999, ch. Universes: a type system for controlling representation exposure.

[16]

Noble, J., Biddle, R., Tempero, E., Potanin, A., and Clarke, D. Towards a model of encapsulation. In Proceedings of the IWACO Workshop in European Conference on Object-Oriented Programming (July 2003).

[17]

Noble, J., Vitek, J., and Potter, J. Flexible alias protection. In ECOOP (1998), Lecture Notes in Computer Science, Springer-Verlag.

Digital Library

[18]

Potanin, A. The fox - a tool for java object graph analysis. Tech. Rep. 02/28, School of Matematical and Computing Sciences, Victoria University of Wellington, http://www.mcs.vuw.ac.nz/comp/Publications/, November 2002.

[19]

Potanin, A., Noble, J., and Biddle, R. Checking ownership and confinement. Concurrency and Computation: Practice and Experience 16, 7 (2004), 671--687.

Digital Library

[20]

Potanin, A., Noble, J., and Biddle, R. Snapshot query-based debugging. In Australian Software Engineering Conference (ASWEC) (2004).

Digital Library

[21]

Potanin, A., Noble, J., Clarke, D., and Biddle, R. Generic ownership. Submitted for publication.

[22]

Potanin, A., Noble, J., Clarke, D., and Biddle, R. Defaulting Generic Java to Ownership. In Proceedings of the Workshop on Formal Techniques for Java-like Programs in European Conference on Object-Oriented Programming (Oslo, Norway, June 2004), Springer-Verlag.

[23]

Potanin, A., Noble, J., Clarke, D., and Biddle, R. Featherweight generic confinement. In Foundations of Object-Oriented Programming (FOOL11) (Venice, Italy, January 2004).

[24]

Potanin, A., Noble, J., Frean, M., and Biddle, R. Scale-free geometry in object-oriented programs. Communications of the ACM (2004). Accepted for Publication.

Digital Library

Cited By

Tasos AFranco JDrossopoulou SWrigstad TEisenbach S(2020)Reshape your layouts, not your programs: A safe language extension for better cache localityScience of Computer Programming10.1016/j.scico.2020.102481(102481)Online publication date: May-2020
https://doi.org/10.1016/j.scico.2020.102481
Bhattacharya PIliofotou MNeamtiu IFaloutsos MGlinz MMurphy GPezzè M(2012)Graph-based analysis and prediction for software evolutionProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337273(419-429)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337273
Bhattacharya PIliofotou MNeamtiu IFaloutsos M(2012)Graph-based analysis and prediction for software evolution2012 34th International Conference on Software Engineering (ICSE)10.1109/ICSE.2012.6227173(419-429)Online publication date: Jun-2012
https://doi.org/10.1109/ICSE.2012.6227173
Show More Cited By

Index Terms

Generic ownership: practical ownership control in programming languages
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Generic ownership for generic Java
Proceedings of the 2006 OOPSLA Conference

Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be leaked beyond object(s) that own them. Existing ownership programming languages either do not support parametric polymorphism (type genericity) or ...
Visible watermarking with reversibility of multimedia images for ownership declarations

Digital watermarking technology is primarily the joining of the rightful owner of the protected media. Once the media are suspected to be illegally used, an open algorithm can be used to extract the digital watermark for the purpose of showing the media'...
A watermarking-based image ownership and tampering authentication scheme

Nowadays, image authentication schemes are widely applied to ownership protection and tampering detection of digital images. In this paper, we propose an image ownership and tampering authentication scheme based on watermarking techniques, which is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

October 2004

348 pages

ISBN:1581138334

DOI:10.1145/1028664

Conference Chair:
John Vlissides
IBM Research
,
Program Chairs:
Doug Schmidt
Vanderbilt University
,
Geoff Cohen
Coherence Engine

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA04

Sponsor:

OOPSLA04: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 24 - 28, 2004

BC, Vancouver, CANADA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
273
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Tasos AFranco JDrossopoulou SWrigstad TEisenbach S(2020)Reshape your layouts, not your programs: A safe language extension for better cache localityScience of Computer Programming10.1016/j.scico.2020.102481(102481)Online publication date: May-2020
https://doi.org/10.1016/j.scico.2020.102481
Bhattacharya PIliofotou MNeamtiu IFaloutsos MGlinz MMurphy GPezzè M(2012)Graph-based analysis and prediction for software evolutionProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337273(419-429)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337273
Bhattacharya PIliofotou MNeamtiu IFaloutsos M(2012)Graph-based analysis and prediction for software evolution2012 34th International Conference on Software Engineering (ICSE)10.1109/ICSE.2012.6227173(419-429)Online publication date: Jun-2012
https://doi.org/10.1109/ICSE.2012.6227173
Lu YPotter J(2006)On ownership and accessibilityProceedings of the 20th European conference on Object-Oriented Programming10.1007/11785477_6(99-123)Online publication date: 3-Jul-2006
https://dl.acm.org/doi/10.1007/11785477_6
Potanin ANoble JBiddle R(2004)Snapshot query-based debugging2004 Australian Software Engineering Conference. Proceedings.10.1109/ASWEC.2004.1290478(251-259)Online publication date: 2004
https://doi.org/10.1109/ASWEC.2004.1290478

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents