3 ms·

Compilers and compiler writers don't rely on informal reasoning when deciding whether an optimization is valid

• chalst 4y ago
  This can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.