News for hackers. Stuff that matters.

A comment on Programming Languages Going Above and Beyond. Parent comment

Re:Programming Languages Going Above and Beyond by redjamjar on Thursday June 29, 2023 @05:24PM (#36526945)
Yeah, SPARK/Ada is a comparable system to Dafny. I agree with that! Also, Frama-C and a bunch of other more esoteric research languages as well.
[ Parent | on HN ]

There are no comments on this comment yet.