Efficient Compilation of .NET Programs for Embedded Systems

Abstract : The overhead associated with object-oriented languages has been the major drawback in their adoption by the embedded world. In this paper, we propose a compilation approach based on the closed-world assumption (CWA) that should enable OO technologies such as .NET on small embedded systems. Our implementation is based on a type analysis algorithm, which extends RTA so that it eliminates some subtype tests due to array covariance, and coloring, which maintain single subtyping invariants under the CWA. The impact of our global optimizations has been evaluated on embedded applications written in C#. Preliminary results show a noticeable reduction of the code size, class hierarchy and object mechanisms such as virtual calls and subtype tests.
Document type :
Conference papers
Liste complète des métadonnées

Contributor : Olivier Sallenave <>
Submitted on : Thursday, June 10, 2010 - 11:31:02 AM
Last modification on : Thursday, May 24, 2018 - 3:59:22 PM




Olivier Sallenave, Roland Ducournau. Efficient Compilation of .NET Programs for Embedded Systems. ECOOP'10: Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'10), Jun 2010, Maribor, Slovenia. ACM, pp.3:1-3:8, 2010, 〈http://ecoop2010.uni-mb.si/ws_program.html#ws_6〉. 〈10.1145/1925801.1925804〉. 〈lirmm-00490989〉



Record views