Repository logo
 

Featherweight Generic Confinement

dc.contributor.authorNoble, James
dc.contributor.authorPotanin, Alex
dc.contributor.authorBiddle, Robert
dc.contributor.authorClarke, Dave
dc.date.accessioned2008-07-24T21:05:32Z
dc.date.accessioned2022-07-06T22:23:05Z
dc.date.available2008-07-24T21:05:32Z
dc.date.available2022-07-06T22:23:05Z
dc.date.copyright2006
dc.date.issued2006
dc.description.abstractExisting 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.en_NZ
dc.formatpdfen_NZ
dc.identifier.urihttps://ir.wgtn.ac.nz/handle/123456789/18838
dc.language.isoen_NZ
dc.publisherTe Herenga Waka—Victoria University of Wellingtonen_NZ
dc.relation.ispartofseriesp793-811en_NZ
dc.relation.ispartofseriesJournal of Functional Programmingen_NZ
dc.relation.ispartofseries16(6)en_NZ
dc.relation.urihttp://dx.doi.org/10.1017/S0956796806006125
dc.rights.rightsholderCambridge University Pressen_NZ
dc.subjectConfined typesen_NZ
dc.subjectObject-oriented programmingen_NZ
dc.subjectJava programmingen_NZ
dc.titleFeatherweight Generic Confinementen_NZ
dc.typeTexten_NZ
vuwschema.contributor.unitSchool of Mathematics, Statistics and Computer Scienceen_NZ
vuwschema.subject.anzsrcforV2461204 Programming languagesen_NZ
vuwschema.subject.marsden280303 Programming Languagesen_NZ
vuwschema.type.vuwJournal Contribution - Research Articleen_NZ

Files

Original bundle

Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
form.pdf
Size:
208.79 KB
Format:
Adobe Portable Document Format
Description:
Permission Form (Admin)
Loading...
Thumbnail Image
Name:
article.pdf
Size:
173.87 KB
Format:
Adobe Portable Document Format
Description:
Article