Hostname: page-component-76fb5796d-wq484 Total loading time: 0 Render date: 2024-04-26T18:29:27.374Z Has data issue: false hasContentIssue false

Featherweight generic confinement

Published online by Cambridge University Press:  14 September 2006

ALEX POTANIN
Affiliation:
Victoria University of Wellington, New Zealand (e-mail: alex@mcs.vuw.ac.nz, kjx@mcs.vuw.ac.nz)
JAMES NOBLE
Affiliation:
Victoria University of Wellington, New Zealand (e-mail: alex@mcs.vuw.ac.nz, kjx@mcs.vuw.ac.nz)
DAVE CLARKE
Affiliation:
CWI, Netherlands (e-mail: dave@cwi.nl)
ROBERT BIDDLE
Affiliation:
Carleton University, Otttawa, Canada (e-mail: robert_biddle@carleton.ca)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Existing approaches to object encapsulation either rely on ad hoc syntactic restrictions or require the use of specialised type systems. Syntactic restrictions are difficult to scale and to prove correct, while specialised type systems require extensive changes to programming languages. We demonstrate that confinement can be enforced cheaply in Featherweight Generic Java, with no essential change to the underlying language or type system. This result demonstrates that polymorphic type parameters can simultaneously act as ownership parameters and should facilitate the adoption of confinement and ownership type systems in general-purpose programming languages.

Type
Article
Copyright
2006 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.