Rust and SPARK: Software Reliability for Everyone
http://electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone [electronicdesign.com]
2017-04-20 17:11
These two extracts, separated by more than 30 years, seem to be targeting the same set of needs. Emphasis is on safety and targeting embedded environments, with efficiency and real-time responsiveness in mind.
source: L