article · 2008
Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a
Cited by 0Abstract and details only
Abstract
shared type system, intermediate language and dynamic execution environment for the implementation and inter-operation of multiple source languages. In this paper we extend it with direct support for parametric polymorphism (also known as generics), describing the design through examples written in an extended version of the C# programming language, and explaining aspects of implementation by reference to a prototype extension to the runtime. Our design is very expressive, supporting parameterized types, polymorphic static, instance and virtual methods, “F-bounded” type parameters, instantiation at pointer and value types, polymorphic recursion, and exact run-time types. The implementation takes advantage of the dynamic nature of the runtime, performing justin-time type specialization, representation-based code sharing and novel techniques for efficient creation and use of run-time types. Early performance results are encouraging and suggest that programmers will not need to pay an overhead for using generics, achieving performance almost matching hand-specialized code. 1
Cite this paper
(2008). Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a.
“Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a.” 2008.
2008. “Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a.”
(2008) ‘Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a’.
@article{anon2008abstract,
title = {{Abstract Design and Implementation of Generics for the.NET Common Language Runtime The Microsoft.NET Common Language Runtime provides a}},
year = {2008}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.