Hacker News new | ask | show | jobs
by touisteur 66 days ago
SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).
1 comments
ngrilly 66 days ago
Yes, but that requires eliminating aliasing and expressions with side effects?
link