Targeting the Java Virtual Machine with Genericity, Multiple Inheritance, Assertions and Expanded Types
Résumé
The Java Virtual Machine is now widely available on many architectures and systems, which makes this virtual machine a very appealing target as an execution environment, not only for Java programs but also for Java extensions as well as other high-level languages. In this paper, we focus on using the current Java Virtual Machine without modification to support assertions, genericity, multiple inheritance and expanded types. An experiment was realized by implementing a new back-end for our compiler, SmallEiffel, The GNU Eiffel compiler.