 Finalization is a highly optimized form of compilation, which takes longer but generates optimized executables.The interpreter part of EiffelStudio relies on a bytecode-oriented virtual machine.The compiler generates either C or .NET CIL (Common Intermediate Language).