compiler backend

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

  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