Sciweavers

73 search results - page 1 / 15
» Formalization of generics for the .NET common language runti...
Sort
View
POPL
2004
ACM
14 years 4 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 a...
Dachuan Yu, Andrew Kennedy, Don Syme
ECBS
2007
IEEE
86views Hardware» more  ECBS 2007»
13 years 11 months ago
A Partitioning Analysis of the .NET Common Language Runtime
Microsoft's .NET platform was developed to simplify development of Windows applications. At the core of the .Net platform is a virtual machine known as the Common Language Ru...
Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby
PPPJ
2003
ACM
13 years 9 months ago
JVM versus CLR: a comparative study
We present empirical evidence to demonstrate that there is little or no difference between the Java Virtual Machine and the .NET Common Language Runtime, as regards the compilati...
Jeremy Singer
POPL
2012
ACM
12 years 3 days ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
13 years 8 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel