News for hackers. Stuff that matters.

A comment on A simplified model of Fil-C. Parent comment

Re:A simplified model of Fil-C by touisteur on Saturday April 18, 2026 @02:43AM (#47813676)
SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).
[ Parent | on HN ]
Re:A simplified model of Fil-C by ngrilly on Saturday April 18, 2026 @11:49AM (#47816836)
Yes, but that requires eliminating aliasing and expressions with side effects?
[ Parent | on HN ]