Title: Featherweight generic confinement
Authors: Potanin, Alex ×
Noble, James
Clarke, Dave
Biddle, Robert #
Issue Date: Sep-2006
Publisher: Cambridge University Press
Series Title: Journal of functional programming vol:16 issue:6 pages:793-811
Abstract: 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.
ISSN: 0956-7968
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
PotaninNobleClarkeBiddleFGCJFP2006.pdfMain article Published 171KbAdobe PDFView/Open Request a copy

These files are only available to some KU Leuven Association staff members


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science