The Common Language Runtime (CLR) is language and platform-neutral, and provides the underlying infrastructure for the Microsoft .NET Framework. A ...
Tópico(s): Formal Methods in Verification
2003 - Association for Computing Machinery | ACM SIGPLAN Notices
The Microsoft.NET Common Language Runtime provides a shared type system, intermediate language and dynamic execution environment for the implementation and inter-operation of multiple ...
Tópico(s): Advanced Software Engineering Methodologies
2001 - Association for Computing Machinery | ACM SIGPLAN Notices
... describe how programs can be converted from the Common Language Runtime to the Java Virtual Machine, based on our ...
Tópico(s): Software Engineering Research
2005 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Tyson Dowd, Fergus Henderson, Peter S. Ross,
The .NET Common Language Runtime (CLR) offers a new opportunity to experiment with multi-language interoperation, and provides a relatively rare chance to ...
Tópico(s): Distributed systems and fault tolerance
2001 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby,
... platform is a virtual machine known as the common language runtime (or CLR). The goal of this paper is ...
Tópico(s): Interconnection Networks and Systems
2008 - Elsevier BV | Journal of Systems Architecture
Giansalvatore Mecca, Paolo Papotti, Salvatore Raunich, Marcello Buoncristiano,
... for an efficient implementation of core computations using common runtime languages like SQL or XQuery and guarantees very good ...
Tópico(s): Semantic Web and Ontologies
2009 - Association for Computing Machinery | Proceedings of the VLDB Endowment
Dachuan Yu, Andrew Kennedy, Don Syme,
... of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspectsof the implementation: ...
Tópico(s): Model-Driven Software Engineering Techniques
2004 - Association for Computing Machinery | ACM SIGPLAN Notices
A crucial role in the Microsoft .NET Framework Common Language Runtime (CLR) security model is played by type safety of the Common Intermediate Language (CIL). In this paper, we formally prove type ...
Tópico(s): Logic, programming, and type systems
2008 - Elsevier BV | Science of Computer Programming
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot,
... two MREs: a Java Virtual Machine and a Common Language Runtime. We provide an extensive study of the lessons ... the authors only one month to develop a Common Language Runtime using VMKit. VMKit furthermore has performance comparableto the ...
Tópico(s): Logic, programming, and type systems
2010 - Association for Computing Machinery | ACM SIGPLAN Notices
Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff L. Biffle, Bennet Yee,
... language platforms to our extended sandbox: the Mono common language runtime and the V8 JavaScript engine. In detailed evaluations, ...
Tópico(s): Software Testing and Debugging Techniques
2011 - Association for Computing Machinery | ACM SIGPLAN Notices
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar,
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform access-restricted operations not explicitly requested by its untrusted clients. Since an untrusted ...
Tópico(s): Logic, programming, and type systems
2005 - Springer Science+Business Media | Lecture notes in computer science
Yuan Yu, Tom Rodeheffer, Wei Chen,
... RaceTrack inside the virtual machine of Microsoft's Common Language Runtime (product version v1.1.4322) and monitored several ...
Tópico(s): Software Testing and Debugging Techniques
2005 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Frédéric Besson, THOMAS DE GRENIER DE LATOUR, Thomas Jensen,
... the security architecture of Java and the .NET Common Language Runtime. A central problem with stack inspection is to ...
Tópico(s): Advanced Malware Detection Techniques
2005 - Cambridge University Press | Journal of Functional Programming
Rean Griffith, Gail E. Kaiser,
... system executes. Managed execution environments such as the Common Language Runtime (CLR) and Java Virtual Machine (JVM) provide a ...
Tópico(s): Software System Performance and Reliability
2005 - Association for Computing Machinery | ACM SIGSOFT Software Engineering Notes
... such as JVM (Java Virtual Machine) and CLR (Common Language Runtime). With software becoming ever more complex and hardware ...
Tópico(s): Distributed systems and fault tolerance
2013 - Association for Computing Machinery | Queue
... intermediate language, Microsoft IL, executed by the Microsoft Common Language Runtime. To allow convenient multi-language working, IL supports ...
Tópico(s): Formal Methods in Verification
2001 - Association for Computing Machinery | ACM SIGPLAN Notices
А В Красновидов, А. Д. Хомоненко,
... is singled out. The advantages of using the Common Language Runtime for the implementation of the considered option of ...
Tópico(s): Engineering Education and Technology
2021 - IOP Publishing | Journal of Physics Conference Series
Susan Eisenbach, Chris Sadler, Dominic Wong,
... approach to component adaptation support within the .NET Common Language Runtime.
Tópico(s): Software System Performance and Reliability
2007 - Springer Science+Business Media | Lecture notes in computer science
... model for the exception handling mechanism of the Common Language Runtime (CLR), the virtual machine underlying the interpretation of . ...
Tópico(s): Real-Time Systems Scheduling
2006 - EtH Zurich | The Journal of Object Technology
... fixed for version 2.0 of the .NET Common Language Runtime.
Tópico(s): Distributed systems and fault tolerance
2006 - Elsevier BV | Theoretical Computer Science
Tópico(s): Advanced Software Engineering Methodologies
2006 - Springer Science+Business Media | Lecture notes in computer science
Jan Vraný, Jan Kurš, Claus Gittinger,
... such as the Java Virtual Machine or the Common Language Runtime are used to host the new language. However, ...
Tópico(s): Logic, programming, and type systems
2012 - Springer Science+Business Media | Lecture notes in computer science
... Sun Microsystem's Java VM or Microsoft's Common Language Runtime (CLR) use a stack-based machine architecture to ...
Tópico(s): Mobile Agent-Based Network Management
2009 - Elsevier BV | Electronic Notes in Theoretical Computer Science
A. Paventhan, Kenji Takeda, Simón Cox, Denis A. Nicole,
... Grid services from languages supported by the .NET Common Language Runtime. We demonstrate its programmability using FORTRAN, C ++ , C # ...
Tópico(s): Parallel Computing and Optimization Techniques
2006 - Wiley | Concurrency and Computation Practice and Experience
... e.g. from the current implementation of .NET Common Language Runtime, run-time support to generics — also commonly referred ...
Tópico(s): Parallel Computing and Optimization Techniques
2005 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Yannis Bres, Bernard Serpette, Manuel Serrano,
... NET.This platform provides a virtual machine, the Common Language Runtime (CLR), that executes bytecode, the Common Intermediate Language (CIL).Since CIL was designed with language agnosticism ...
Tópico(s): Formal Methods in Verification
2004 - EtH Zurich | The Journal of Object Technology
Mark Weiser, Alan Demers, Carl Hauser,
... solve these problems, we have built the Portable Common Runtime (PCR), a language-independent and operating-system-independent base for modern languages. PCR offers four interrelated facilities: storage management (including universal garbage collection), symbol binding (including static and dynamic linking and loading), threads (lightweight processes), and low-level I/O (including network sockets). PCR is “common” because these facilities simultaneously support programs in several ...
Tópico(s): Distributed systems and fault tolerance
1989 - Association for Computing Machinery | ACM SIGOPS Operating Systems Review
Magnus O. Myreen, Jared Davis,
... Isabelle and Coq, rely on the correctness of runtime systems for programming languages like ML, OCaml or Common Lisp. These runtime systems are complex and critical to the integrity ...
Tópico(s): Software Testing and Debugging Techniques
2011 - Springer Science+Business Media | Lecture notes in computer science
... College has implemented a single debugger for several languages sharing a common runtime environment: PL/I, Basic and Fortran. The debugger is fairly powerful; users set breakpoints and traces which occur whenever the values of given variables change, or whenever certain relational expressions become true, for example. All debugging is carried on in a syntax similar to that of a high‐level language. This debugger was implemented in about a month. ...
Tópico(s): Embedded Systems Design Techniques
1982 - Wiley | Software Practice and Experience
... benefits of these technologies, which include the managed common language runtime environment (CLR), type safety, inheritance, and so on. ...
Tópico(s): Agricultural Economics and Policy
2024 - RELX Group (Netherlands) | SSRN Electronic Journal