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 int_19h on Thursday February 28, 2019 @08:29PM (#19277216)
Can you recommend a good book on SPARK in general? I've read one on Ada 2012 itself, and what it had to say about Ravenscar and SPARK got me interested.
[ Parent | on HN ]
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 ]