undefined | Better HN

0 pointstouisteur22d ago0 comments

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

0 comments

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

j / k navigate · click thread line to collapse

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

j / k navigate · click thread line to collapse