Comment by touisteur | Hacker News Reader

Top New Best Ask Show Jobs

Comment by touisteur | Hacker News Reader

Parent Full thread

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

Yes, but that requires eliminating aliasing and expressions with side effects?

Reply on news.ycombinator.com