A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
In this paper we discuss the motivations for our extensions, which are together called Extended IL (ILX), and describe them via examples. ... This paper describes several extensions to the .NET Common Intermediary Language (CIL), each of which is designed to enable easier implementation of typed high-level programming languages on the .NET platform ... Acknowledgements I am deeply grateful to Nick Benton, Cedric Fournet, Andrew Kennedy, Andy Gordon, Simon Peyton Jones, Claudio Russo, Reuben Thomas and Andrew Tolmach for their help and advice with this ...doi:10.1016/s1571-0661(05)80453-0 fatcat:fnnxk3rgbjeqvhdstlpg5znxtm
Lecture Notes in Computer Science
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. ... We describe the design and implementation of a fully type-preserving compiler for Java and ML. ... Related Work Throughout the paper, we made comparisons to the Common Intermediate Language (CIL) of the Microsoft .NET platform  and ILX, a proposed extension for functional language interoperability ...doi:10.1007/3-540-36579-6_8 fatcat:v7inrslhrbar5kja4a2o7qjr2u
The researchers engaged with the company through Project 7, the initial effort to bring multiple languages to .NET, leading to the initiation of . NET Generics in 1998 and F# in 2002. ... In 1997, as a response to Java, Microsoft initiated internal projects which eventually became the .NET programming framework and the C# language. ... ILX was implemented on .NET by erasure and compilation to the existing .NET IL [Syme 2001d ]. ...doi:10.1145/3386325 fatcat:lk7zpwvyzfdc5gkscsmqmnze2e
We implement a front end for converting the CIL assembly code of the .net Framework into Soot's Jimple code and show that this is possible without modifying Jimple nor overly losing semantic information ... While static analysis has been applied successfully to various problems, the academic literature has largely focused on a subset of programming languages and frameworks, and often only on a single language ... This toolkit also extends the CIL language with constructs for closures, functions types, thunks, and others (Syme 2001) . ...doi:10.1145/2931021.2931022 dblp:conf/pldi/ArztKB16 fatcat:vn65hcn2inesphvpsaefbk3fke
This platform provides a virtual machine, the Common Language Runtime (CLR), that executes bytecode, the Common Intermediate Language (CIL). ... Therefore, the CLR presents an interesting ground for functional language implementations. We discuss how to map Scheme constructs to CIL. ... Moreover, we wanted to explore what the "more language-agnostic" promise can really bring to functional language implementations as well as the possibilities for language interoperability. ...doi:10.5381/jot.2004.3.9.a4 fatcat:7evcqaqcanevzdjmod7qsvcsoe
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004.
We present a new static analysis to help identify security defects in class libraries for runtimes, such as JVMs or the CLR, that rely on stack inspection for access control. ... We describe the tool architecture, various examples of security queries, and a practical implementation that analyses large pre-existing libraries for the CLR. ... ILX: Extending the .NET common IL for functional language interoperability, Sept. 2001. http://research.microsoft.com/projects/ ilx/. D. S. Wallach, A. W. Appel, and E. W. Felten. ...doi:10.1109/csfw.2004.1310732 fatcat:5q5rbkmklrekpptfh3f275faai