4 ms·
SPARK (Ada) is about as memory-safe as it gets. https://github.com/AdaCore/spark2014 https://github.com/AdaCore/spark2014
by tiffanyh 1y ago
SPARK (Ada) is about as memory-safe as it gets.
https://github.com/AdaCore/spark2014 https://github.com/AdaCore/spark2014
- andsoitis 1y agoI was also going to suggest Spark https://www.adacore.com/sparkpro 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-and-rust https://www.adacore.com/papers/memory-safety-in-ada-spark-an...
- tiffanyh 1y agoI’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-over-c-c https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...