News for hackers. Stuff that matters.

A comment on Implications of Rewriting a Browser Component in Rust. Parent comment

Re:Implications of Rewriting a Browser Component in Rust by pjmlp on Friday March 01, 2019 @01:04AM (#19278312)
"Building High Integrity Applications with SPARK"

There is also "High Integrity Software: The SPARK Approach to Safety and Security", I never read it, but it is written by a well known author in the Ada community.

[ Parent | on HN ]
Re:Implications of Rewriting a Browser Component in Rust by johnisgood on Friday March 01, 2019 @05:02AM (#19279196)
Yes, and also: https://learn.adacore.com/courses/intro-to-spark/index.html
[ Parent | on HN ]