Filters








6 Hits in 4.4 sec

ILX: Extending the .NET Common IL for Functional Language Interoperability

Don Syme
2001 Electronical Notes in Theoretical Computer Science  
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

Precision in Practice: A Type-Preserving Java Compiler [chapter]

Christopher League, Zhong Shao, Valery Trifonov
2003 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 [2] and ILX, a proposed extension for functional language interoperability  ... 
doi:10.1007/3-540-36579-6_8 fatcat:v7inrslhrbar5kja4a2o7qjr2u

The early history of F#

Don Syme
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
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

Towards cross-platform cross-language analysis with soot

Steven Arzt, Tobias Kussmaul, Eric Bodden
2016 Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2016  
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

Bigloo.NET: compiling Scheme to .NET CLR

Yannis Bres, Bernard Paul Serpette, Manuel Serrano
2004 Journal of Object Technology  
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

From stack inspection to access control: a security analysis for libraries

F. Besson, T. Blanc, C. Fournet, A.D. Gordon
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/.[19] D. S. Wallach, A. W. Appel, and E. W. Felten.  ... 
doi:10.1109/csfw.2004.1310732 fatcat:5q5rbkmklrekpptfh3f275faai