runtime performance

• The Surprising Cost of Type Checking in Eiffel
  by Finnian Reilly (modified: 2023 Aug 30)

  Tags:
  • optimisation
  • type checking
  • runtime performance

  Do you think that type checking in Eiffel has a trivial performance cost. Think again !

• Zig as an Intermediate Language for EiffelStudio
  by Finnian Reilly (modified: 2026 Jun 02)

  Tags:
  • dbc
  • eiffelstudio
  • eiffel
  • software engineering
  • code generation
  • design by contract
  • open source
  • class invariants
  • runtime performance
  • systems programming
  • Zig
  • intermediate language
  • compiler backend
  • Melting Ice Technology
  • incremental compilation
  • LLVM
  • C backend
  • Andrew Kelley
  • Zig Software Foundation
  • cross compilation
  • native compilation
  • compiler design
  • C macros
  • comptime
  • undefined behaviour
  • frozen code
  • finalised code
  • bytecode interpreter
  • virtual dispatch
  • devirtualisation
  • whole program optimisation
  • zig cc
  • .NET backend
  • CLR
  • assertion levels
  • preconditions
  • postconditions
  • real time systems
  • nonprofit
  • programming language design

  A Case for Replacing the C Backend — Discussion Paper for Review by Eiffel Software Engineering