Andrew Kennedy, Don Syme  Home/Search
Context
Related
| diku.dk/topps/space2...kennedysyme.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/topps/space2004/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe problems that have arisen when combining the proposed design for generics for the Microsoft .NET Common Language Runtime (CLR) with two resource-related features supported by the Microsoft CLR implementation: application domains and pre-compilation. Application domains are "software based processes" and the interaction between application domains and generics stems from the fact that code and descriptors are generated on a pergeneric -instantiation basis, and thus instantiations... (Update)
Active bibliography (related documents): More All
0.5: A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
0.5: Variance and Generalized Constraints for C# Generics - Emir, Kennedy, Russo, Yu (2006) (Correct)
0.4: Termination and Rollback in Language-Based Systems - Rudys (2002) (Correct)
Similar documents based on text: More All
0.3: Design and Implementation of Generics for the .NET Common.. - Kennedy, Syme (Correct)
0.2: Interaction for Declarative Theorem Proving - Syme (1998) (Correct)
0.2: Adventures in Interoperability: The SML.NET Experience - Nick Benton Nick (Correct)
BibTeX entry: (Update)
@misc{ kennedy-combining,
author = "Andrew Kennedy and Don Syme",
title = "Combining Generics, Pre-compilation and Sharing between Software-Based
Processes",
url = "citeseer.ist.psu.edu/kennedy04combining.html" }
Citations (may not include all citations):400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
57 Compiling Standard ML to Java bytecodes - Benton, Kennedy et al. - 1998
31 Nested Java processes: OS structure for mobile code - Tullmann, Lepreau - 1998
30 NET Common Language Runtime (context) - Kennedy, Syme et al. - 2001
24 Techniques for the design of Java operating systems - Back, Tullmann et al. - 2000
19 and sharing in Java (context) - Back, Hsieh et al. - 2000
12 Parametric polymorphism in Java: an e#cient implementation f.. (context) - Viroli - 2001
11 Quicksilver: a quasi-static compiler for Java - Serrano, Bordawekar et al. - 2000
10 ectiveness of type-based unboxing (context) - Leroy - 1997
5 The JX operating system - Golm, Felser et al. - 2002
4 Two ways to bake your pizza --- translating parameterised ty.. - Odersky, Runne et al. - 1998
3 Garbage collector memory accounting in language-based system.. - Price, Rudys et al. - 2002
2 ECMA Standard 335: Common Language Infrastructure (context) - International
2 Invited talk at Object-Oriented Programming (context) - Hejlsberg, language - 2002
1 ECMA Standard 334: C# language specification (context) - International
http://research.microsoft.com/projects/clrgen
http://msdn.microsoft.com/net/sscli
http://msdn.microsoft.com/vcsharp
Documents on the same site (http://www.diku.dk/topps/space2004/): More
lfd_infer: an Implementation of a Static Inference on Heap Space.. - Jost (2004) (Correct)
Typed Regions - Monnier (2004) (Correct)
Comparing the expressive power of Separation logic and classical.. - Lozes (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC