Re: The Case for Rust (in any system)

From: Domagoj Stolfa <domagoj.stolfa_at_gmail.com>
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.