4 ms·

SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).

• ngrilly 6mo ago
  Yes, but that requires eliminating aliasing and expressions with side effects?