Please use this identifier to cite or link to this item:
Title: A flow-based approach for variant parametric types
Authors: Chin, W.-N. 
Craciun, F. 
Khoo, S.-C. 
Popeea, C. 
Keywords: Constraints
Flow Analysis
Variant Parametric Types
Issue Date: 2006
Citation: Chin, W.-N., Craciun, F., Khoo, S.-C., Popeea, C. (2006). A flow-based approach for variant parametric types. ACM SIGPLAN Notices 41 (10) : 273-290. ScholarBank@NUS Repository.
Abstract: A 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.
Source Title: ACM SIGPLAN Notices
ISSN: 03621340
DOI: 10.1145/1167515.1167498
Appears in Collections:Staff Publications

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

Google ScholarTM



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