Sciweavers

Share
POPL
2004
ACM

Formalization of generics for the .NET common language runtime

12 years 8 months ago
Formalization of generics for the .NET common language runtime
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization and sharing, and efficient support for run-time types. Some crucial constructs used in the implementation are dictionaries and run-time type representations. We formalize these aspects type-theoretically in a way that corresponds in spirit to the implementation techniques used in practice. Both the techniques and the formalization also help us understand the range of possible implementation techniques for other languages, e.g., ML, especially when additional source language constructs such as run-time types are supported. A useful by-product of this study is a type system for a subset of the polymorphic IL proposed for the .NET CLR. Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructs and Features--Polymorphism, Classes and Objects; D.3.1 [Programming Languages]: Formal Defini...
Dachuan Yu, Andrew Kennedy, Don Syme
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2004
Where POPL
Authors Dachuan Yu, Andrew Kennedy, Don Syme
Comments (0)
books