DSpace Repository

Featherweight Generic Confinement

Show simple item record

dc.contributor.author Noble, James
dc.contributor.author Potanin, Alex
dc.contributor.author Biddle, Robert
dc.contributor.author Clarke, Dave
dc.date.accessioned 2008-07-24T21:05:32Z
dc.date.accessioned 2022-07-06T22:23:05Z
dc.date.available 2008-07-24T21:05:32Z
dc.date.available 2022-07-06T22:23:05Z
dc.date.copyright 2006
dc.date.issued 2006
dc.identifier.uri https://ir.wgtn.ac.nz/handle/123456789/18838
dc.description.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. en_NZ
dc.format pdf en_NZ
dc.language.iso en_NZ
dc.publisher Te Herenga Waka—Victoria University of Wellington en_NZ
dc.relation.ispartofseries p793-811 en_NZ
dc.relation.ispartofseries Journal of Functional Programming en_NZ
dc.relation.ispartofseries 16(6) en_NZ
dc.relation.uri http://dx.doi.org/10.1017/S0956796806006125
dc.subject Confined types en_NZ
dc.subject Object-oriented programming en_NZ
dc.subject Java programming en_NZ
dc.title Featherweight Generic Confinement en_NZ
dc.type Text en_NZ
vuwschema.contributor.unit School of Mathematics, Statistics and Computer Science en_NZ
vuwschema.subject.marsden 280303 Programming Languages en_NZ
vuwschema.type.vuw Journal Contribution - Research Article en_NZ
vuwschema.subject.anzsrcforV2 461204 Programming languages en_NZ
dc.rights.rightsholder Cambridge University Press en_NZ

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account