News for hackers. Stuff that matters.

A comment on Dafny – A programming language with a program verifier. Parent comment

Re:Dafny – A programming language with a program verifier by Sean1708 on Friday January 20, 2017 @10:32AM (#13444495)
Ownership is used for more than just memory management though, concurrent memory access for example.
[ Parent | on HN ]
Re:Dafny – A programming language with a program verifier by tom_mellior on Friday January 20, 2017 @10:47AM (#13444604)
True! I wasn't thinking beyond verification of single-threaded programs, which is hard enough as it is ;-)
[ Parent | on HN ]