software engineering

• Questionnaire on unit tests
  by Manuel Oriol (modified: 2007 Jul 17)

  Tags:
  • software engineering
  • questionnaire
  • tests
• Why Type-safety?
  by Bernd Schoeller (modified: 2011 Jul 19)

  Tags:
  • language design
  • type safety
  • Software correctness
  • software engineering
  • type system
• Frameworks insult language designers
  by Bernd Schoeller (modified: 2011 Oct 30)

  Tags:
  • library
  • code
  • language design
  • software engineering
  • code generation
  • framework
  • programming
• The five ways to compute something
  by Bernd Schoeller (modified: 2014 Sep 11)

  Tags:
  • software engineering
  • software development
• 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