Re: The Case for Rust (in any system)
- In reply to: Poul-Henning Kamp: "Re: The Case for Rust (in any system)"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 06 Sep 2024 16:07:54 UTC
On 06/09/2024 17:00, Poul-Henning Kamp wrote: > Show me any other language which has developed something like SPARK ? Unrelated to the topic at hand, but I just thought I'd throw this in the mix since it's also based on Hoare triples and some might find it interesting: https://en.wikipedia.org/wiki/Dafny.