welcome
documentation
resources
contribute
blogs
download
Sign in
code generation
Optimization route
by Alexander Kogtenkov (modified: 2010 Apr 29)
Tags:
eiffelstudio
code generation
development
optimization
Frameworks insult language designers
by Bernd Schoeller (modified: 2011 Oct 30)
Tags:
library
code
language design
software engineering
code generation
framework
programming
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
Other
Tags
...