News for hackers. Stuff that matters.

A comment on Why Ada Is the Language You Want to Be Programming Your Systems With. Parent comment

Re:Why Ada Is the Language You Want to Be Programming Your S... by johnisgood on Wednesday September 18, 2019 @09:09PM (#21012225)
More information about Get_Line: https://blog.adacore.com/formal-verification-of-legacy-code
[ Parent | on HN ]

There are no comments on this comment yet.