EiffelStudio naturally includes a powerful Eiffel compiler, which is at the core of the IDE. It supports the entire Eiffel language as defined in the third edition of Eiffel: The Language.
This compiler uses the melting ice technology (TM), which accounts for lightning-fast incremental recompilations, ideal during the development cycle. It also provides finalization, which yields a high level of optimization that should be used for released programs.
This reference describes some advanced functionality of the ISE compiler, such as making external calls from Eiffel.
You can find more advanced technologies relative to the ISE Eiffel compiler and environment in the technologies part of the documentation.