Please use this identifier to cite or link to this item: https://doi.org/10.1145/1167473.1167498
DC FieldValue
dc.titleA flow-based approach for variant parametric types
dc.contributor.authorChin, W.-N.
dc.contributor.authorCraciun, F.
dc.contributor.authorKhoo, S.-C.
dc.contributor.authorPopeea, C.
dc.date.accessioned2013-07-04T08:02:50Z
dc.date.available2013-07-04T08:02:50Z
dc.date.issued2006
dc.identifier.citationChin, W.-N.,Craciun, F.,Khoo, S.-C.,Popeea, C. (2006). A flow-based approach for variant parametric types. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2006 : 273-290. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/1167473.1167498" target="_blank">https://doi.org/10.1145/1167473.1167498</a>
dc.identifier.isbn1595933484
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40373
dc.description.abstractA promising approach for type-safe generic codes in the object-oriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate. Previous approaches formalise variant type as a special case of the existential type system. In this paper, we present a new framework based on flow analysis and modular type checking to provide a simple but accurate model for capturing generic types. Our scheme stands to benefit from past (and future) advances in flow analysis and subtyping constraints. Furthermore, it fully supports casting for variant types with a special reflection mechanism, called cast capture, to handle objects with unknown types. We have built a constraint-based type checker and have proven its soundness. We have also successfully annotated a suite of Java libraries and client code with our flow-based variant type system. Copyright © 2006 ACM.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1145/1167473.1167498
dc.sourceScopus
dc.subjectConstraints
dc.subjectFlow analysis
dc.subjectGenericity
dc.subjectSubtyping
dc.subjectVariant parametric types
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1145/1167473.1167498
dc.description.sourcetitleProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
dc.description.volume2006
dc.description.page273-290
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

10
checked on Nov 23, 2022

Page view(s)

145
checked on Nov 24, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.