Efficient Compilation of .NET Programs for Embedded Systems - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2010

Efficient Compilation of .NET Programs for Embedded Systems


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.
Fichier principal
Vignette du fichier
article5.pdf (1.25 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-00490989 , version 1 (25-04-2023)



Olivier Sallenave, Roland Ducournau. Efficient Compilation of .NET Programs for Embedded Systems. ECOOP 2010 - Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems @ICOOOLPS'10, Jun 2010, Maribor, Slovenia. pp.3:1-3:8, ⟨10.1145/1925801.1925804⟩. ⟨lirmm-00490989⟩
85 View
20 Download



Gmail Mastodon Facebook X LinkedIn More