article · 2003
Generic ownership
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Cited by 0Abstract and details only
Abstract
Modern programming languages provide little support for object encapsulation and ownership. Escaped aliases to private objects can compromise both security and reliability of code in reference-abundant languages such as Java. Object ownership is a widely accepted approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages do not directly support type genericity. We present Generic Ownership -- a unified approach to providing generics and ownership. By including support for default ownership, Generic Ownership imposes no more syntactic or runtime overheads than traditional generic types. We have implemented Generic Ownership in the context of the Ownership Generic Java (OGJ) programming language, an extension to Generic Java, and we ground the formal side of this work within the Featherweight Generic Java framework. We hope that our work will help bring
Cite this paper
Potanin, A., Noble, J., Clarke, D., & Biddle, R. (2003). Generic ownership.
Potanin, Alex, et al. “Generic ownership.” 2003.
Potanin, Alex, James Noble, Dave Clarke, and Robert Biddle. 2003. “Generic ownership.”
Potanin, A. et al. (2003) ‘Generic ownership’.
@article{potanin2003generic,
title = {{Generic ownership}},
author = {Potanin, Alex and Noble, James and Clarke, Dave and Biddle, Robert},
year = {2003}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.