A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1--12, Snowbird, Utah, June 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
TIL: A Type-Directed, Optimizing Compiler for ML - Tarditi, Morrisett, Cheng.. (1995) (139 citations) (Correct)
....for the SML module system. At the same time TIL was being developed, Java was starting to gain momentum, and we believe it is fair to say that the TIL had some influence on the various proposals for adding generics to Java (c.f. 18, 20] as well as the current implementation of C# generics [7]. Though performance was the initial focus, it soon became clear that the lasting idea was that we should be using strongly typed intermediate languages in our compilers. When developing the compiler, we quickly found that the ability to type check the intermediate code after a transformation was ....
A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language runtime. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1--12, Snowbird, Utah, June 2001.
MJ: An imperative core calculus for Java and Java with.. - Bierman, Parkinson, Pitts (2003) (2 citations) (Correct)
....counterexample exploits the manipulation of state to generate a runtime exception. Thus it appears that adopting a functional core calculus of Java to study generics is an oversimplification. We intend to use MJ as a basis for studying the proposals for generic extensions to both Java [2] and C [14] In other work, we are developing a logic for reasoning about MJ programs, based on the bunched logic approach pioneered by O Hearn, Reynolds and Yang [17, 18] Acknowledgements Portions of this work were presented at the Workshop for Object Oriented Developments [1] We are grateful to the ....
A.J. Kennedy and D. Syme. The design and implementation of generics for the .NET common language runtime. In Proceedings of PLDI, june 2001.
MetaKlaim: A Type Safe Multi-stage Language for Global Computing - Ferrari, Moggi (2 citations) (Correct)
....some of the issues discussed above. For instance, in the Java programming language heterogeneity is handled through bytecode interpretation. Permissions, grants and stack inspection handles dynamic check of possibly untrusted code. C# generics account for highly parameterized generic components [KS01] The .NET architecture supplies a programming technology embodying general facilities for handling heterogeneity and orchestration of WEB services. 3 MetaKlaim This section introduces MetaKlaim, a foundational multi stage calculus specifically designed to model both the spatial and temporal ....
A. Kennedy and D. Syme. The design and implementation of generics for the .net common language runtime. In Proc. ACM SIGPLAN Conference on Programming Language Desing and Implementation (PLDI), Snowbird, Utah, USA, june 2001. ACM Press.
JVM for a Heterogeneous Shared Memory System - Chen, Tang, Dwarkadas, Scott (2002) (Correct)
....to share their common state directly, and integrates that sharing with the more tightly coupled sharing available in SMP clusters. Platform and language heterogeneity can be supported on virtual machine based systems such as Sun JVM [23] and Microsoft . NET [25] The Common Language Runtime [20] (CLR) under the .NET framework promises support for multi language application development. In comparison to CLR, InterWeave s goal is relatively modest: we map strongly typed state across languages. CLR seeks to map all high level language features to a common type system and intermediate ....
A. Kennedy and D. Syme. Design and implementation of generics for the .net common language runtime. In PLDI'01.
Adventures in Interoperability: The SML.NET Experience - Nick Benton Nick Self-citation (Kennedy) (Correct)
No context found.
A. J. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation. ACM, 2001.
Combining Generics, Pre-compilation and Sharing between.. - Kennedy, Syme (2004) Self-citation (Kennedy Syme) (Correct)
No context found.
A. J. Kennedy and D. Syme. Design and Implementation of Generics for the .NET Common Language Runtime. In Programming Language Design and Implementation. ACM, 2001.
Efficient Implementation of Run-time Generic Types for Java - Allen, Cartwright, Stoler Self-citation (Implementation) (Correct)
No context found.
A. Kennedy and D. Syme., Design and implementation of generics for the .NET Common Language Runtime. In PLDI 2001.
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (3 citations) (Correct)
No context found.
A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1--12, Snowbird, Utah, June 2001.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
D. Yu, A. Kennedy, D. Syme, Formalization of generics for the .Net common language runtime, in: POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM Press, 2004, pp. 39--51. 29
Retrospective: - Til Type-Directed Optimizing (Correct)
No context found.
A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language runtime. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1--12, Snowbird, Utah, June 2001.
Flexible Dynamic Linking for .NET - Anders Aaltonen Alex (Correct)
No context found.
Andrew Kennedy and Don Syme. The Design and Implementation of generics for the .NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2001), Snowbird, UT, USA, June 2001.
Software Security: Experiments on the .NET Common.. - Piessens, Jacobs, Joosen (2003) (Correct)
No context found.
Andrew Kennedy and Don Syme. The design and implementation of generics for the .NET common language runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001.
Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (2 citations) (Correct)
No context found.
D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common language runtime. In POPL, pages 39--51, Jan. 2004.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Andrew Kennedy and Don Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation (PLDI), June 2001.
On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (4 citations) (Correct)
No context found.
Don Syme and Andrew Kennedy. Design and implementation of generics for the .NET Common Language Runtime. In Proc. of ACM PLDI. ACM, June 2001.
The essence of data access in Cω - The power is in.. - Bierman, Meijer, Schulte (Correct)
No context found.
D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common language runtime. In Proceedings of POPL, 2004. 15
Type Safe Composition in .NET - Joao Costa Seco (Correct)
No context found.
Andrew Kennedy and Don Syme. The design and implementation of generics for the .net common language runtime. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2001.
Type Safe Composition in .NET - Joao Costa Seco (Correct)
No context found.
Andrew Kennedy and Don Syme. The design and implementation of generics for the .net common language runtime. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2001.
A First-Class Approach to Genericity - Allen, Bannet, Cartwright (2003) (5 citations) (Correct)
No context found.
A. Kennedy and D. Syme. Design and implementation of generics for the .net common language runtime. In PLDI, 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Andrew Kennedy and Don Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation (PLDI), June 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Andrew Kennedy and Don Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation (PLDI), June 2001.
First AOSD Workshop on - Aspects Components And (2002) (Correct)
No context found.
A. Kennedy and D. Syme. Design and Implementation of Generics for the .NET Common Language Runtime. In Conference on Programming Language Design and Implementation 2001.
A First-Class Approach to Genericity - Allen (2003) (5 citations) (Correct)
No context found.
A. Kennedy, D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In PLDI 2001.
A Typed Logic for Stacks and Jumps: DRAFT - Benton (2004) (Correct)
No context found.
D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common language runtime. In Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL), 2004. 13
Using MPI with C and the Common Language - Infrastructure Jeremiah Willcock (Correct)
No context found.
A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1--12, Snowbird, Utah, June 2001.
First 50 documents
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