News for hackers. Stuff that matters.

A comment on Research in Programming Languages (2012). Parent comment

Re:Research in Programming Languages (2012) by MaxBarraclough on Thursday December 17, 2020 @01:20PM (#25458451)
From what I gather, good progress is being made on the SPARK Ada tooling, for formally verified software development.

Do you have something specific in mind? IDEs? I don't know much about this but I presume work is being done on Rust/Zig IDEs.

[ Parent | on HN ]

There are no comments on this comment yet.