Comment by tiffanyh 1 day ago SPARK (Ada) is about as memory-safe as it gets.https://github.com/AdaCore/spark2014 2 comments tiffanyh Reply andsoitis 1 day ago I was also going to suggest Spark https://www.adacore.com/sparkproThere's also this paper, "Memory Safety in Ada, SPARK, and Rust"https://www.adacore.com/papers/memory-safety-in-ada-spark-an... tiffanyh 1 day ago I’ve always found the table comparison (Rust/Ada/SPARK) from that same source to be very informative:https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...
andsoitis 1 day ago I was also going to suggest Spark https://www.adacore.com/sparkproThere's also this paper, "Memory Safety in Ada, SPARK, and Rust"https://www.adacore.com/papers/memory-safety-in-ada-spark-an... tiffanyh 1 day ago I’ve always found the table comparison (Rust/Ada/SPARK) from that same source to be very informative:https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...
tiffanyh 1 day ago I’ve always found the table comparison (Rust/Ada/SPARK) from that same source to be very informative:https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...
I was also going to suggest Spark https://www.adacore.com/sparkpro
There's also this paper, "Memory Safety in Ada, SPARK, and Rust"
https://www.adacore.com/papers/memory-safety-in-ada-spark-an...
I’ve always found the table comparison (Rust/Ada/SPARK) from that same source to be very informative:
https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...