News for hackers. Stuff that matters.

A comment on Resources about programming practices for writing safety-critical software. Parent comment

Re:Resources about programming practices for writing safety-... by amk_ on Monday March 06, 2017 @11:42PM (#13808322)
The techniques in the conclusions and appendix starting about page 200 are useful in any language
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by jacquesm on Tuesday March 07, 2017 @12:47AM (#13808525)
Yes. This goes far beyond Erlang.
[ Parent | on HN ]