News for hackers. Stuff that matters.

A comment on Why Don't People Use Formal Methods?. Parent comment

Re:Why Don't People Use Formal Methods? by Uberphallus on Tuesday January 22, 2019 @07:22AM (#18967745)
And checks on compile time are quite insightful, Ada tends to know beforehand if you're gonna run out of bounds.
[ Parent | on HN ]

There are no comments on this comment yet.